Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-08-16 22:15
d3a9d9c2
View on Github →
chore: Let
gcongr
know about
Nat.cast_lt
(
#15879
) From LeanAPAP
Estimated changes
Modified
Mathlib/Computability/AkraBazzi/AkraBazzi.lean
Modified
Mathlib/Data/Nat/Cast/Order/Basic.lean
added
theorem
GCongr.natCast_lt_natCast