Theorem FirstOrder.Language.BoundedFormula.IsAtomic.relabel

Modification history