Noether.Algebra.Single.Strategies
type Semigroup op a
type Monoid op a
type Group op a
type AbelianGroup op a
type DeriveMagma_Tagged tag op a
type DeriveMagma_Named tag op a
type DeriveCommutative_Tagged tag op a
type DeriveCancellative_Tagged tag op a
type DeriveNeutral_Tagged tag op a
type DeriveSemigroup_Magma t a
type DeriveMonoid_Semigroup_Neutral t a
type DeriveGroup_Monoid_Cancellative t a
type DeriveAbelianGroup_Commutative_Group t a
data ComplexLift