Theorem if_true_right_eq_or

Modification history