Theorem ofBoolRing_le_ofBoolRing_iff

Modification history