Theorem Bool.coe_bool_iff

Modification history