OAI/RingTheory/BassTrace/
1724 declarations, 0 contain sorry, 0 declared as axioms; 73 files
Files
- ActivatedUnions.lean 9 declarations
- AdmissibleCuts.lean 9 declarations
- AffineCoarea.lean 12 declarations
- AffinePotentials.lean 36 declarations
- AreaSurgery.lean 16 declarations
- AveragedChains.lean 17 declarations
- BallComparison.lean 15 declarations
- BallGeometry.lean 33 declarations
- BallMass.lean 16 declarations
- BallReplacement.lean 6 declarations
- BarycentricBounds.lean 28 declarations
- BarycentricChains.lean 18 declarations
- CanonicalCells.lean 33 declarations
- CellTriangulation.lean 29 declarations
- CentralizerGeometry.lean 27 declarations
- ChainMaps.lean 39 declarations
- ClosedPaths.lean 40 declarations
- CoefficientDescent.lean 3 declarations
- Coning.lean 33 declarations
- CutNaturality.lean 16 declarations
- Definitions.lean 30 declarations
- DirectedCuts.lean 12 declarations
- EquivariantSurgery.lean 12 declarations
- ExteriorChains.lean 46 declarations
- ExteriorDetector.lean 51 declarations
- FaceFiltration.lean 37 declarations
- FacetGeometry.lean 21 declarations
- FiniteAverages.lean 15 declarations
- FiniteCells.lean 47 declarations
- FiniteGenerators.lean 10 declarations
- FreeParameters.lean 47 declarations
- FundamentalChains.lean 22 declarations
- GeometricSubcomplexes.lean 40 declarations
- GraphCounting.lean 35 declarations
- GraphRealization.lean 24 declarations
- HausdorffArea.lean 23 declarations
- Incidence.lean 32 declarations
- LocalCuts.lean 38 declarations
- Main.lean 3 declarations
- MarkedArea.lean 23 declarations
- MarkedSubdivisions.lean 25 declarations
- MatrixK0.lean 12 declarations
- MatrixVanishing.lean 3 declarations
- MeasurableSlices.lean 11 declarations
- ModuleK0.lean 8 declarations
- NormedVectors.lean 10 declarations
- OrbitAreas.lean 29 declarations
- OrbitForms.lean 44 declarations
- PathComplex.lean 21 declarations
- PathWeights.lean 30 declarations
- PfaffianDetector.lean 14 declarations
- ProbabilityGeometry.lean 32 declarations
- RegularRepresentation.lean 23 declarations
- RelativeExponents.lean 35 declarations
- RightRetractions.lean 16 declarations
- SimplexCoordinates.lean 17 declarations
- SimplexMeasures.lean 37 declarations
- SimplexVolume.lean 13 declarations
- SparseBounds.lean 9 declarations
- SparseChains.lean 20 declarations
- SubdivisionWeights.lean 46 declarations
- Subdivisions.lean 30 declarations
- SupportGeometry.lean 19 declarations
- TorsionFree.lean 4 declarations
- TraceCoefficients.lean 9 declarations
- TraceRank.lean 26 declarations
- TransportMetric.lean 42 declarations
- TreeArea.lean 18 declarations
- TreeDeterminants.lean 45 declarations
- TwistedPaths.lean 32 declarations
- VolumeBounds.lean 26 declarations
- ZeroCarriers.lean 5 declarations
- ZeroStrata.lean 10 declarations