OAI/Geometry/PeriodicTiling/PeriodicVolumeMass.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PeriodicTilingThree.PeriodicVolume.translate line 16
  2. theorem OAI.PeriodicTilingThree.PeriodicVolume.mem_translate line 19
  3. theorem OAI.PeriodicTilingThree.PeriodicVolume.translate_eq_vadd line 22
  4. theorem OAI.PeriodicTilingThree.PeriodicVolume.measure_translate line 28
  5. theorem OAI.PeriodicTilingThree.PeriodicVolume.measurableSet_translate line 32
  6. theorem OAI.PeriodicTilingThree.PeriodicVolume.lattice_vadd_translate line 36
  7. def OAI.PeriodicTilingThree.PeriodicVolume.assembly line 45
  8. theorem OAI.PeriodicTilingThree.PeriodicVolume.mem_assembly line 48
  9. theorem OAI.PeriodicTilingThree.PeriodicVolume.measurableSet_assembly line 52
  10. theorem OAI.PeriodicTilingThree.PeriodicVolume.periodic_piece_mass line 58
  11. theorem OAI.PeriodicTilingThree.PeriodicVolume.periodic_piece_mass_eq_card line 92
  12. theorem OAI.PeriodicTilingThree.PeriodicVolume.packed_assembly_mass line 106