Documentation

LeanMachineLearning.ForMathlib.Order.Interval.Finset

Lemmas about finite intervals. #

source
instance Finset.instNonemptySubtypeNatMemIic_leanMachineLearning {n : ℕ} :
Nonempty ↥(Iic n)