Theorem if_false_left_eq_and

Modification history