OAI/Topology/CoarseAssembly/FamilyBoundaryAddition.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Additivity of whole-union coefficient-family boundaries

  1. theorem OAI.CoarseAssembly.DiscreteRoe.coefficientFamilyBoundary_add line 19