OAI/RepresentationTheory/UniversalSquare/Support/NumericalSupport.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Numerical Support.

  1. def OAI.UniversalTensorSquare.transposeRows line 15
  2. lemma OAI.UniversalTensorSquare.headD_rowLens line 18
  3. lemma OAI.UniversalTensorSquare.transposeRows_rowLens line 23
  4. lemma OAI.UniversalTensorSquare.transposeRows_eq line 34
  5. lemma OAI.UniversalTensorSquare.rowDiagram_transposeRows line 38
  6. def OAI.UniversalTensorSquare.RowsBand line 42
  7. instance OAI.UniversalTensorSquare.(instance at line 48) line 48
  8. lemma OAI.UniversalTensorSquare.rowsBand_sound line 51
  9. def OAI.UniversalTensorSquare.ResidualProperty line 61
  10. instance OAI.UniversalTensorSquare.(instance at line 66) line 66
  11. lemma OAI.UniversalTensorSquare.SquareOccurs.of_packing line 69
  12. lemma OAI.UniversalTensorSquare.residualProperty_sound line 77
  13. lemma OAI.UniversalTensorSquare.candidate_cone line 112