Theorem dite_eq_right_iff

Modification history