Theorem toBoolRing_inf

Modification history