OAI/Topology/CoarseAssembly/BoundaryRoePerturbation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Roe perturbations do not change the analytic boundary class

  1. theorem OAI.CoarseAssembly.DiscreteRoe.multiplierBoundaryClass_roePerturbation line 22