Theorem Reflexive.ne_imp_iff

Modification history