Theorem Bool.min_eq_and

Modification history