Theorem SubmodulesRingBasis.toSubmodulesBasis

Modification history