Theorem Module.finitePresentation_iff_finite

Modification history