OAI/Geometry/PeriodicTiling/WordAffineAlgebra.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PeriodicTilingThree.affine_coefficients_eq_of_two line 20
  2. theorem OAI.PeriodicTilingThree.affine_root_unique line 29
  3. theorem OAI.PeriodicTilingThree.affine_roots_card_le_one line 37
  4. theorem OAI.PeriodicTilingThree.two_common_nonzero_of_four line 47
  5. theorem OAI.PeriodicTilingThree.three_rows line 68
  6. theorem OAI.PeriodicTilingThree.four_rows_affine line 81
  7. theorem OAI.PeriodicTilingThree.four_residues_injective line 101
  8. theorem OAI.PeriodicTilingThree.affine_int_roots_card_le line 111