OAI/Geometry/PinnedDistances/MeasureLimits.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.WeakPinned.Bounded.expanded_marginal_limit line 19
2. lemma OAI.WeakPinned.Bounded.incoming_limit line 36
3. lemma OAI.WeakPinned.Bounded.edge_ac_limit line 63
4. lemma OAI.WeakPinned.Bounded.quadCoe_range line 107
5. lemma OAI.WeakPinned.Bounded.expandedCoe_range line 114
6. lemma OAI.WeakPinned.Bounded.map_transport_ac line 128
7. lemma OAI.WeakPinned.Bounded.sphere_quad_finite line 138
8. lemma OAI.WeakPinned.Bounded.sphere_expanded_finite line 153