OAI/Analysis/FourierLLogL/Procedure/Rare.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Weight of transfers to static processing

  1. def OAI.FourierLLogL.Dyadic.Procedure.Road.prior line 16
  2. lemma OAI.FourierLLogL.Dyadic.Procedure.Road.prior_ready line 17
  3. lemma OAI.FourierLLogL.Dyadic.Procedure.Road.prior_tempered line 19
  4. lemma OAI.FourierLLogL.Dyadic.Procedure.Road.prior_weight line 22
  5. theorem OAI.FourierLLogL.Dyadic.Procedure.Road.rating_bound line 26
  6. theorem OAI.FourierLLogL.Dyadic.Procedure.Road.rare line 66