OAI/Topology/CoarseAssembly/SupportedNormalization.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Normalization preserving the represented scalar subspace

  1. theorem OAI.CoarseAssembly.Analytic.kernelProjection_complement line 14
  2. theorem OAI.CoarseAssembly.Analytic.commute_of_complement line 21
  3. theorem OAI.CoarseAssembly.Analytic.supported_scalar_cycleClass_zero line 31
  4. theorem OAI.CoarseAssembly.Analytic.scalar_cycleClass_zero line 74