Theorem Bool.coe_or_iff

Modification history