Theorem MulEquiv.map_isUnit_iff

Modification history