Theorem Module.FinitePresentation.fg_ker_iff

Modification history