Theorem FirstOrder.Language.BoundedFormula.IsAtomic.liftAt

Modification history