Theorem ite_prop_iff_or

Modification history