OAI/Topology/CoarseAssembly/ConstructedConclusion.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Counterexample for the constructed analytic coarse assembly map

Only the fixed-generator spectral-gap input remains in this theorem.

  1. theorem OAI.CoarseAssembly.bounded_geometry_counterexample_from_gap line 20