Theorem IsLocalization.algEquiv_symm_mk'

Modification history