OAI/Analysis/CoulombTransport/CellTable.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.Problem356.sum_measure_pair_fibers line 20
  2. lemma OAI.Problem356.sum_measure_pair_fibers_on line 30
  3. def OAI.Problem356.cellTable line 58

    Source documentation

    The joint finite-cell mass table of a triple measure.

    def cellTable (p : E3 → ι) (π : Measure Triple) (i j k : ι) : ℝ≥0∞ :=
…

    Mentions: OAI.Problem356.E3, OAI.Problem356.Triple

  4. lemma OAI.Problem356.cellTable_sum_fst line 61
  5. lemma OAI.Problem356.cellTable_sum_snd line 74
  6. lemma OAI.Problem356.cellTable_sum_thd line 89
  7. lemma OAI.Problem356.cellTable_le_fst line 104
  8. lemma OAI.Problem356.cellTable_le_snd line 114
  9. lemma OAI.Problem356.cellTable_le_thd line 124
  10. lemma OAI.Problem356.cellTable_pos_cell_masses_pos line 134
  11. def OAI.Problem356.tripleCellLabel line 143

    Source documentation

    The product label map corresponding to the cell table.

    def tripleCellLabel (p : E3 → ι) (t : Triple) : ι × (ι × ι) :=
…

    Mentions: OAI.Problem356.E3, OAI.Problem356.Triple

  12. lemma OAI.Problem356.measurable_tripleCellLabel line 147
  13. lemma OAI.Problem356.cellTable_eq_map_singleton line 153
  14. lemma OAI.Problem356.tripleCellLabel_map_eq_of_table_eq line 161
  15. lemma OAI.Problem356.cellTable_lt_top line 171
  16. lemma OAI.Problem356.cellTable_sum line 177