Theorem ite_eq_right_iff

Modification history