Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Parser.Tactic.simpArg
Modification history
2022-09-15 13:39
Mathlib/Tactic/Core.lean
chore: bump to 2022-09-15 (#414)
Deleted
Lean.Parser.Tactic.simpArg
View on Github →
2021-11-08 09:32
Mathlib/Tactic/Core.lean
refactor(Mathport): move mathport prelude to mathlib4 (#80) …
Added
Lean.Parser.Tactic.simpArg
View on Github →