Def FirstOrder.Language.Theory.iffSetoid

Modification history

2024-10-02 18:00

Mathlib/ModelTheory/Equivalence.lean

feat(ModelTheory/Equivalence): Implication of formulas modulo a theory (#16800) …

Added FirstOrder.Language.Theory.iffSetoid View on Github →