Theorem IsLocalization.rank_eq

Modification history