Theorem SubmodulesRingBasis.toRing_subgroups_basis

Modification history