Theorem Localization.r_iff_oreEqv_r

Modification history