OAI/LinearAlgebra/MatrixMultiplication/Completion/HierarchyPrograms.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Readable tensor completion and its finite arithmetic realization.

  1. def OAI.MatrixMultiplication.CompletionHierarchyWords.ReadableHierarchy.ofProgram line 22
  2. theorem OAI.MatrixMultiplication.CompletionHierarchyWords.ReadableHierarchy.ofProgram_complete line 73