Theorem FirstOrder.Language.BoundedFormula.isQF_bot

Modification history