OAI/Geometry/Borsuk/MatrixGeometry/
165 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- BlockLine.lean 7 declarations
- BlockParts.lean 6 declarations
- BlockVector.lean 7 declarations
- CenterApproximation.lean 4 declarations
- FibreContinuity.lean 6 declarations
- FibreHomotopy.lean 11 declarations
- FibreTransport.lean 10 declarations
- FinitePositiveBound.lean 2 declarations
- LineRepresentative.lean 11 declarations
- MatrixCompression.lean 5 declarations
- MatrixFibre.lean 7 declarations
- MatrixKernel.lean 10 declarations
- MatrixNorm.lean 4 declarations
- MatrixReflection.lean 8 declarations
- MatrixTransport.lean 10 declarations
- ModelRay.lean 1 declarations
- PositiveSlice.lean 7 declarations
- Rank.lean 8 declarations
- RankPreimage.lean 5 declarations
- ReflectionTransport.lean 7 declarations
- SignedExtension.lean 10 declarations
- SpectralChart.lean 7 declarations
- SymmetricCoordinates.lean 6 declarations
- SymmetricEntries.lean 4 declarations
- TraceHomotopy.lean 1 declarations
- TracePatchModels.lean 1 declarations