Commit 2026-03-18 16:07 95636e75
View on Github →fix: update link to mathlib4 naming conventions (#36812)
- Old link: https://github.com/leanprover-community/mathlib4/wiki#naming-convention
- (Archived version of old link target: https://github.com/leanprover-community/mathlib4/wiki/Home/176440af993c15719de8f59dd8b4a73241c1669b#naming-convention)
- New link: https://leanprover-community.github.io/contribute/naming.html