OAI/Analysis/FourierLLogL/Assembly/Weighted.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The uniform output path

  1. lemma OAI.FourierLLogL.Dyadic.Procedure.Paths.CastShow.burn_rate line 20
  2. lemma OAI.FourierLLogL.Dyadic.Procedure.Paths.CastShow.grossOur line 82
  3. lemma OAI.FourierLLogL.Dyadic.Procedure.Paths.CastShow.scale_drought line 103
  4. lemma OAI.FourierLLogL.Dyadic.Procedure.Paths.CastShow.grossDry line 120