Theorem MulEquiv.isDomain_iff

Modification history