Theorem ne_self_iff_false

Modification history