Theorem Localization.algEquiv_symm_mk

Modification history