OAI/Topology/CoarseAssembly/RipsFamilyCompactPerturbation.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Compact cycle perturbations preserve the whole-union Rips boundary

  1. theorem OAI.CoarseAssembly.Rips.ampleRipsFamilyBoundary_eq_of_compact line 17
  2. theorem OAI.CoarseAssembly.Rips.ampleRipsFamilyBoundary_compactPerturb line 43