Theorem ofBoolRing_neg

Modification history