Theorem toBoolRing_bot

Modification history