OAI/Analysis/FourierLLogL/Edges/Global.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The edge bounds in the global road

  1. def OAI.FourierLLogL.Dyadic.Procedure.Event.edgeFee line 14
  2. lemma OAI.FourierLLogL.Dyadic.Procedure.cut_wire line 19
  3. lemma OAI.FourierLLogL.Dyadic.Procedure.toll_wire line 30
  4. lemma OAI.FourierLLogL.Dyadic.Procedure.global_edges line 38