Theorem toBoolRing_ofBoolRing

Modification history