Theorem BoolRing.coe_of

Modification history