OAI/Topology/CoarseAssembly/RelativeHomotopy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Homotopy invariance of relative unitary classes

  1. theorem OAI.CoarseAssembly.OperatorKTheory.continuous_relativeUnitary line 16
  2. theorem OAI.CoarseAssembly.OperatorKTheory.continuous_relativeMatrix line 23
  3. theorem OAI.CoarseAssembly.OperatorKTheory.relativeClass_homotopy line 41