Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.Tactic.Bound.typePriority
Modification history
2025-01-16 00:33
Mathlib/Tactic/Bound/Attribute.lean
chore: move Algebra/Group/ZeroOne/ to Data/ (#20622) …
Modified
Mathlib.Tactic.Bound.typePriority
View on Github →
2024-08-06 23:04
Mathlib/Tactic/Bound/Attribute.lean
feat(Tactic.Bound): Add a `bound` tactic for inequalities by structure (#10562) …
Added
Mathlib.Tactic.Bound.typePriority
View on Github →