Theorem Module.free_of_isLocalizedModule

Modification history