Documentation
ExponentialRamsey
.
Prereq
.
Mathlib
.
Data
.
Nat
.
Choose
.
Central
Search
return to top
source
Imports
Init
Mathlib.Data.Nat.Choose.Central
Imported by
centralBinom_monotone
Stuff for data.nat.choose.central
#
source
theorem
centralBinom_monotone
:
Monotone
Nat.centralBinom