OAI/Topology/CoarseAssembly/RegularizedRipsFamily.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Whole-union Roe boundaries of arbitrary families of analytic cycles

  1. theorem OAI.CoarseAssembly.Rips.regularizedFamily_homotopy line 18