OAI/GroupTheory/Kervaire/
839 declarations, 0 contain sorry, 0 declared as axioms; 47 files
Files
- Annulus.lean 16 declarations
- BoundaryFlow.lean 17 declarations
- Capping.lean 8 declarations
- Circles.lean 12 declarations
- ComponentFibers.lean 16 declarations
- Components.lean 23 declarations
- Conjugation.lean 5 declarations
- CurrentExistence.lean 5 declarations
- CurrentPullback.lean 17 declarations
- FixedSpaces.lean 14 declarations
- HaarCurrents.lean 17 declarations
- IncidenceDegree.lean 17 declarations
- IncidenceSpaces.lean 44 declarations
- IncidenceTangent.lean 20 declarations
- Inversion.lean 8 declarations
- Main.lean 5 declarations
- MatrixShifts.lean 38 declarations
- MatrixTrace.lean 36 declarations
- MixingOperators.lean 33 declarations
- Model.lean 7 declarations
- OuterRibbon.lean 8 declarations
- PermutationCycles.lean 21 declarations
- PhaseDimension.lean 21 declarations
- PhaseFaithfulness.lean 6 declarations
- PhaseGrids.lean 7 declarations
- PhaseNaturality.lean 15 declarations
- PhaseSubadditivity.lean 21 declarations
- Realization.lean 13 declarations
- Reductions.lean 6 declarations
- RegularOperators.lean 40 declarations
- RelatorRigidity.lean 23 declarations
- RibbonProducts.lean 8 declarations
- RibbonRigidity.lean 13 declarations
- ScalarPhase.lean 23 declarations
- SignedIncidence.lean 30 declarations
- SpectralApproximation.lean 8 declarations
- SpectralLogarithm.lean 7 declarations
- SpectralMeasures.lean 46 declarations
- Splicing.lean 16 declarations
- StrongLimits.lean 8 declarations
- Suppression.lean 25 declarations
- TraceCalculus.lean 19 declarations
- Traversal.lean 20 declarations
- UnitaryHomotopy.lean 26 declarations
- VertexJoin.lean 8 declarations
- WeightedCycles.lean 31 declarations
- WordNormalization.lean 12 declarations