Theorem ite_prop_iff_and

Modification history