Def FirstOrder.Language.LEquiv.onTerm

Modification history

2025-04-02 18:08

Mathlib/ModelTheory/Syntax.lean

chore (ModelTheory/Syntax): Rename Lequiv -> LEquiv (#23501) …

Added FirstOrder.Language.LEquiv.onTerm View on Github →