Noether.Algebra.Linear.Strategies

type DeriveLeftModule_Ring_AbelianGroup op p m r a v

type DeriveLeftModule_Self p m r

type DeriveRightModule_Ring_AbelianGroup op p m r a v

type DeriveRightModule_Self p m r