Theorem BooleanRing.sup_assoc

Modification history