OAI/Probability/ContinuumTransition/FreeGeometry.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ContinuumTemperature.FreeConfig line 13
  2. theorem OAI.ContinuumTemperature.freeConfig_injective line 17
  3. theorem OAI.ContinuumTemperature.freeConfig_close_trans line 25
  4. def OAI.ContinuumTemperature.freeSetoid line 38
  5. def OAI.ContinuumTemperature.freeCluster line 45
  6. theorem OAI.ContinuumTemperature.mem_freeCluster line 48
  7. theorem OAI.ContinuumTemperature.freeCluster_card_le_four line 51
  8. theorem OAI.ContinuumTemperature.freeCluster_close_root line 64
  9. theorem OAI.ContinuumTemperature.free_component_card_le_packing line 73