Noether.Algebra.Multiple.Strategies

type Ring p m a

type Semiring p m a

type DeriveSemiring_Commutative_Monoid_Monoid p m a

type DeriveRing_Semiring_Cancellative p m a

type DeriveRing_AbelianGroup_Group p m a

type family RingNamedT a where ...

type DeriveRingDoc_AbelianGroup_Group p m a

p

q