Theorem IsLocalization.algebraMap_mk'

Modification history