Theorem BooleanRing.inf_sup_self

Modification history