DefinitionsBoundedFormula, alls, castLE, constantsVarsEquiv, ex, exs, freeVarFinset, iInf, iSup, iff, instBot, instInhabited, instMax, instMin, instTop, liftAt, mapTermRel, mapTermRelEquiv, not, relabel, relabelAux, relabelEquiv, restrictFreeVar, subst, toFormula, term, equivSentence, graph, iAlls, iExs, iExsUnique, iInf, iSup, iff, imp, not, relabel, apply₁, apply₂, term, onBoundedFormula, onFormula, onSentence, onTerm, onBoundedFormula, onFormula, onSentence, onTerm, onTheory, antisymmetric, boundedFormula, boundedFormula₁, boundedFormula₂, formula, formula₁, formula₂, irreflexive, reflexive, symmetric, total, transitive, Sentence, cardGe, bdEqual, constantsToVars, constantsVarsEquiv, constantsVarsEquivLeft, equal, inhabitedOfConstant, inhabitedOfVar, instDecidableEq, liftAt, relabel, relabelEquiv, restrictVar, restrictVarLeft, subst, substFunc, varFinset, varFinsetLeft, varsToConstants, Theory, distinctConstantsTheory, infiniteTheory, nonemptyTheory, «term&_», «term_='_», «term_⇔_», «term_⟹_», «term∀'_», «term∃'_», «term∼_» | 92 |