Closed YaelDillies closed 4 months ago
Explain the naming convention pushed for by https://github.com/leanprover-community/mathlib4/pull/11486.
Explain the naming convention pushed for by https://github.com/leanprover-community/mathlib4/pull/11486.