Theorem Bool.coe_decide

Modification history