OAI/Algebra/Drinfeld/
3978 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- Boundary.lean 71 declarations
- BraidExp.lean 89 declarations
- Categories.lean 60 declarations
- Coefficients.lean 88 declarations
- Completion.lean 56 declarations
- Descent.lean 132 declarations
- Flatness.lean 138 declarations
- Foundations.lean 937 declarations
- Grading.lean 83 declarations
- Hexagon.lean 122 declarations
- Holonomy.lean 126 declarations
- Ihara.lean 171 declarations
- KZTransport.lean 248 declarations
- Lattice.lean 76 declarations
- Logarithm.lean 199 declarations
- Ordering.lean 445 declarations
- Pentagon.lean 66 declarations
- RealBraid.lean 118 declarations
- RealLie.lean 296 declarations
- Reduction.lean 353 declarations
- Transport.lean 104 declarations