Theorem toBoolRing_top

Modification history