Inductive FirstOrder.Language.BoundedFormula.IsAtomic

Modification history