Theorem FirstOrder.Language.BoundedFormula.IsAtomic.castLE

Modification history