Theorem Bool.decide_eq

Modification history