OAI/Analysis/PlanarPacking/TableDensityBridge.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Cardinal densities and finite coefficient families

The finite coefficient densities agree with the cardinal densities of the corresponding data.

  1. lemma OAI.SharpPlanar.tableRaw_offnode line 15
  2. lemma OAI.SharpPlanar.tableC_offnode line 18
  3. lemma OAI.SharpPlanar.tableD_offnode line 21
  4. lemma OAI.SharpPlanar.tableData_density line 24