Theorem Localization.algEquiv_mk

Modification history