Theorem BooleanRing.inf_comm

Modification history