Theorem Nat.pow_le_choose

Modification history

2022-12-21 16:29
Mathlib/Data/Nat/Choose/Bounds.lean
feat: port data.nat.choose.bounds (#1139) …
Added Nat.pow_le_chooseView on Github →