Theorem Localization.localRingHom_id

Modification history