Theorem FirstOrder.Language.BoundedFormula.inf_not_iff_bot

Modification history