Theorem Nat.factorial_le_pow

Modification history

2024-01-08 11:01
Mathlib/Data/Nat/Factorial/Basic.lean
chore(Data/Nat/Choose/Multinomial): Golf (#9534) …
Added Nat.factorial_le_powView on Github →