Markus Himmel 5a34ffb9b0 chore: upstream Nat material from mathlib (#7971) ... This PR upstreams much of the material from `Mathlib/Data/Nat/Init.lean` and `Mathlib/Data/Nat/Basic.lean`.		2025-04-16 06:55:32 +00:00
..
Basic.lean	feat: BitVec.pow and Pow (BitVec w) Nat (#7893)	2025-04-10 05:21:30 +00:00
BasicAux.lean	doc: docstring review for bitvectors (#7713)	2025-03-31 08:04:33 +00:00
Bitblast.lean	chore: upstream Nat material from mathlib (#7971)	2025-04-16 06:55:32 +00:00
Folds.lean	doc: docstring review for bitvectors (#7713)	2025-03-31 08:04:33 +00:00
Lemmas.lean	chore: upstream Nat material from mathlib (#7971)	2025-04-16 06:55:32 +00:00