Theorem BooleanRing.inf_assoc

Modification history