Theorem Module.Finite.exists_fin_quot_equiv

Modification history