Theorem Module.freeLocus_eq_univ

Modification history