Theorem IsLocalizedModule.lift_rank_eq

Modification history