OAI/Geometry/RCD/Heat/CompactEndpointKernelBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Quantitative kernel bounds for compact endpoint supports

  1. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.compact_endpoint_kernel_upper line 17
  2. theorem OAI.RegularPointCoordinates.NoncollapsedRCD.compact_endpoint_kernel_lower line 47