Mathlib Changelog
v4
Changelog
About
Github
Theorem
Mathlib.Tactic.Bound.Nat.cast_pos_of_pos
Modification history
2025-04-10 16:38
Mathlib/Tactic/Bound.lean
chore: deprecate semibundled ordered algebraic typeclasses (#20676) …
Modified
Mathlib.Tactic.Bound.Nat.cast_pos_of_pos
View on Github →
2024-08-06 23:04
Mathlib/Tactic/Bound.lean
feat(Tactic.Bound): Add a `bound` tactic for inequalities by structure (#10562) …
Added
Mathlib.Tactic.Bound.Nat.cast_pos_of_pos
View on Github →