Mathlib Changelog
v4
Changelog
About
Github
Theorem
f_a
Modification history
2025-02-11 15:35
MathlibTest/ErwQuestion.lean
feat: `erw?`, a tool to explain why `erw` is necessary (#21643) …
Added
f_a
View on Github →