Theorem Localization.r_of_eq

Modification history