Theorem map_ne_one_iff

Modification history