Theorem dite_prop_iff_or

Modification history