OAI/Algebra/Finitistic/Encoding/
233 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- ArrowBasisIso.lean 4 declarations
- AuxiliaryQuadraticPresentation.lean 13 declarations
- DirectedBound.lean 27 declarations
- EncodingGenerators.lean 6 declarations
- EncodingLinearity.lean 4 declarations
- EncodingModuleAssembly.lean 2 declarations
- FiniteBasisIso.lean 4 declarations
- PathBasisIso.lean 5 declarations
- PresentationReindex.lean 15 declarations
- QuadraticCoefficients.lean 8 declarations
- QuadraticEncoding.lean 19 declarations
- QuadraticPresentation.lean 54 declarations
- RelationBasisAction.lean 6 declarations
- RelationBasisCoefficients.lean 7 declarations
- RelationMatrixSequence.lean 13 declarations
- RelationPathCoordinates.lean 3 declarations
- RelationSequence.lean 6 declarations
- RelationVertexCoordinates.lean 10 declarations
- RelationVertexSequence.lean 10 declarations
- ThreeVertexAlgebra.lean 17 declarations