Theorem Module.Flat.of_isLocalizedModule

Modification history