Theorem MulEquiv.isUnit_map

Modification history