Theorem ofBoolRing_zero

Modification history