OAI/RepresentationTheory/UniversalSquare/Band/BandAllocationLists.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Band Allocation Lists.

  1. lemma OAI.UniversalTensorSquare.colLen_pos_iff line 16
  2. lemma OAI.UniversalTensorSquare.positive_column_list line 20
  3. lemma OAI.UniversalTensorSquare.column_list_sum line 37
  4. lemma OAI.UniversalTensorSquare.place_padded_columns line 43
  5. lemma OAI.UniversalTensorSquare.width_le_of_cols line 55
  6. theorem OAI.UniversalTensorSquare.band_subdiagram_columns line 62