Renaming (!66) · Merge requests · Johannes Flake / PBWDeformations.jl · GitLab

This is an archived project. Repository and other project resources are read-only.

Lars Göttgens requested to merge lg/renaming into master Aug 25, 2022

fix: change outer power to exterior power