`OAI/Algebra/MarkedTensor/`

153 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

AdjointCoordinates.lean 22 declarations
Holonomy.lean 6 declarations
Main.lean 3 imports, no declarations
MatrixIdeals.lean 17 declarations
PolynomialAdjoint.lean 35 declarations
ReferenceWords.lean 55 declarations
TripleProducts.lean 18 declarations