Theorem RingEquiv.map_ne_one_iff

Modification history