Mathlib Changelog
v4
Changelog
About
Github
Theorem
Num.land'_to_nat
Modification history
2023-10-18 16:31
Mathlib/Data/Num/Lemmas.lean
chore: remove `Nat.bitwise'` (#7451) …
Deleted
Num.land'_to_nat
View on Github →
2023-10-12 12:34
Mathlib/Data/Num/Lemmas.lean
feat(Data/Num): use bitwise notation (#7593) …
Modified
Num.land'_to_nat
View on Github →
2023-04-10 15:18
Mathlib/Data/Num/Lemmas.lean
feat: port Data.Num.Lemmas (#2784)
Added
Num.land'_to_nat
View on Github →