Theorem Module.FinitePresentation.exists_lift_of_isLocalizedModule

Modification history