Theorem ofBoolRing_mul

Modification history