OAI/Analysis/BackwardIntertwiners/FiberTails.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.BackwardIntertwiners.Fiber line 10
2. def OAI.BackwardIntertwiners.coordinateTail line 13
3. lemma OAI.BackwardIntertwiners.fiber_exists_coordinate line 19
4. lemma OAI.BackwardIntertwiners.weighted_shift_pow line 25
5. lemma OAI.BackwardIntertwiners.invariant_pow line 41
6. lemma OAI.BackwardIntertwiners.SupportSeparation.strict_order line 49
7. lemma OAI.BackwardIntertwiners.fiber_orthogonal_order line 76
8. theorem OAI.BackwardIntertwiners.quadratic_fiber_tails line 111