Theorem Nat.factorization_centralBinom_of_two_mul_self_lt_three_mul

Modification history

2023-03-29 02:11
Mathlib/Data/Nat/Choose/Factorization.lean
feat: port Data.Nat.Choose.Factorization (#3158)
Added Nat.factorization_centralBinom_of_two_mul_self_lt_three_mulView on Github →