OAI/Topology/CoarseAssembly/ControlledBoundaryNearby.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Norm comparison of bounded cycle families in the actual Roe boundary

  1. theorem OAI.CoarseAssembly.Rips.ControlledCycleFamily.boundary_eq_of_ample_nearby line 17