Theorem BooleanRing.sup_comm

Modification history