Mathlib Changelog
v4
Changelog
About
Github
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 →