Theorem Bool.coe_and_iff

Modification history