Theorem reflexive_ne_imp_iff

Modification history