OAI/Analysis/FreeGroupFactor/
851 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- Cocycles.lean 44 declarations
- FiniteActive.lean 16 declarations
- FiniteMoments.lean 19 declarations
- FiniteRank.lean 10 declarations
- FreeSum.lean 41 declarations
- Generation.lean 34 declarations
- GlobalODE.lean 14 declarations
- InfiniteGeneration.lean 30 declarations
- LaurentApproximation.lean 36 declarations
- LocalAutomorphism.lean 25 declarations
- Main.lean 5 declarations
- Model.lean 42 declarations
- MomentFlow.lean 19 declarations
- NCPolynomial.lean 16 declarations
- Nielsen.lean 16 declarations
- NormalExtension.lean 22 declarations
- Operators.lean 28 declarations
- PolynomialFlow.lean 24 declarations
- RadialCoefficients.lean 70 declarations
- RankTwoCoefficients.lean 64 declarations
- RankTwoCounting.lean 87 declarations
- RankTwoWords.lean 59 declarations
- Reducing.lean 7 declarations
- SmallCocycle.lean 35 declarations
- Taylor.lean 4 declarations
- TraceCocycle.lean 58 declarations
- UnitaryEvaluation.lean 26 declarations