OAI/Analysis/GroupDeterminants/
289 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- BinaryMatrices.lean 3 declarations
- ClosedAlgebra.lean 9 declarations
- ClosedTrace.lean 10 declarations
- CompanionTransfer.lean 1 declarations
- ComplexRepresentation.lean 19 declarations
- CyclicAverage.lean 3 declarations
- DefectProjections.lean 4 declarations
- Defects.lean 12 declarations
- FiniteFields.lean 11 declarations
- GroupAlgebraStar.lean 13 declarations
- IndexedRepresentation.lean 5 declarations
- IntegralTransfer.lean 13 declarations
- LampCoefficients.lean 25 declarations
- LampDenominators.lean 12 declarations
- LampProjections.lean 12 declarations
- Lamps.lean 24 declarations
- LogSeries.lean 8 declarations
- Main.lean 2 declarations
- Model.lean 7 declarations
- ModularLifting.lean 11 declarations
- ProductSupport.lean 12 declarations
- ProjectionCriterion.lean 1 declarations
- ProjectionData.lean 1 declarations
- ProjectionLog.lean 2 declarations
- RationalRepresentation.lean 7 declarations
- RegularAdjoint.lean 4 declarations
- RegularOperators.lean 8 declarations
- RegularTrace.lean 2 declarations
- ShearTrace.lean 1 declarations
- TraceLog.lean 12 declarations
- TransferAlgebra.lean 14 declarations
- TransferTrace.lean 10 declarations
- WeightedProjections.lean 6 declarations
- WeightedTrace.lean 5 declarations