Mathlib Changelog
v4
Changelog
About
Github
Def
NewTop.Simps.newElim
Modification history
2022-11-20 06:21
test/Simps.lean
fix(Tactic/Simps): use capital letter for namespace (#647) …
Added
NewTop.Simps.newElim
View on Github →