Theorem MulHom.toMulEquiv_symmApply

Modification history