Commit 2025-04-02 18:08 0722e158
View on Github →chore (ModelTheory/Syntax): Rename Lequiv -> LEquiv (#23501)
This function was named Lequiv.onTerm, this was probably a mistake because the object it uses it called LEquiv. This renames it and adds a deprecated alias.