Theorem if_eq_of_eq_false

Modification history