Theorem eq_ite_iff

Modification history