OAI/Topology/CoarseAssembly/DiagonalApproximation.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite-support approximation of multiplication operators

  1. theorem OAI.CoarseAssembly.DiscreteRoe.diagonalApproximation_norm line 18
  2. theorem OAI.CoarseAssembly.DiscreteRoe.finiteDiagonal_tendsto line 40