`OAI/Geometry/BallPacking/Holder/`

373 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

BanachSpace.lean 71 declarations
HolderTaylor.lean 54 declarations
KernelSchauder.lean 35 declarations
MarkedFrame.lean 47 declarations
MarkedJets.lean 68 declarations
NonlinearCR.lean 61 declarations
SchauderSplit.lean 37 declarations