Theorem Module.FinitePresentation.equiv_quotient

Modification history