Theorem FirstOrder.Language.BoundedFormula.iff_all_liftAt

Modification history