Theorem Localization.mapToFractionRing_apply

Modification history