Theorem ofBoolRing_toBoolRing

Modification history