Theorem dite_eq_iff'

Modification history