Theorem Bool.univ_eq

Modification history