Theorem Bool.max_eq_or

Modification history