OAI/Probability/CriticalPercolation/LinearGroups/
174 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- AbsoluteMatrixSpan.lean 10 declarations
- AlgebraicVirtualSolvability.lean 5 declarations
- AllPlaceKronecker.lean 3 declarations
- ArchimedeanDetection.lean 3 declarations
- BurnsideDensity.lean 2 declarations
- ClusterMatrix.lean 10 declarations
- CongruenceTorsion.lean 8 declarations
- ConjugationMatrixGrowth.lean 4 declarations
- CountableFieldEmbedding.lean 3 declarations
- FgMatrixRing.lean 8 declarations
- FieldSpanTransfer.lean 3 declarations
- FiniteSubspaceOrbit.lean 2 declarations
- FullSpanAlternative.lean 6 declarations
- GeneralPeriodicCenter.lean 1 declarations
- InvariantBlockSolvability.lean 6 declarations
- InvariantSubspaceDensity.lean 1 declarations
- LocalFurstenbergBound.lean 12 declarations
- LocalFurstenbergConcentration.lean 2 declarations
- LocalPositiveSubspaceOrbit.lean 5 declarations
- LocalProjectiveAction.lean 20 declarations
- MatrixLowGrowthSubspace.lean 3 declarations
- MatrixPeriodicDirection.lean 3 declarations
- PadicDetection.lean 4 declarations
- PeriodicSpectrum.lean 3 declarations
- PowerBoundedUnipotent.lean 3 declarations
- ProjectiveEigenvalues.lean 3 declarations
- ProjectivePeriodicity.lean 2 declarations
- ProjectivelyPeriodicSchur.lean 5 declarations
- ProperPadicModels.lean 1 declarations
- RealVirtualSolvability.lean 7 declarations
- SelbergCongruence.lean 3 declarations
- SelbergSchur.lean 4 declarations
- SolvableGrowth.lean 9 declarations
- SolvablePeriodicCenter.lean 1 declarations
- SolvableSparseClassification.lean 2 declarations
- StrongAbstractSpan.lean 2 declarations
- StrongDenseEigenvalues.lean 4 declarations
- StrongDensePeriodicity.lean 1 declarations