Theorem IsLocalization.mk'_algebraMap_eq_mk'

Modification history