OAI/Topology/ArtinGroups/Geometry/
240 declarations, 0 contain sorry, 0 declared as axioms; 37 files
Files
- Cartan.lean 13 declarations
- CartanForm.lean 9 declarations
- CartanOffNonpos.lean 2 declarations
- CartanRestricted.lean 12 declarations
- ChamberCovector.lean 8 declarations
- ChamberInequalitiesConvexHull.lean 2 declarations
- ChamberPoint.lean 28 declarations
- ChamberPointUnique.lean 5 declarations
- ConvexHullSupportedComp.lean 2 declarations
- ConvexInclusion.lean 2 declarations
- ConvexWord.lean 13 declarations
- CoordinateExtension.lean 6 declarations
- DihedralScalar.lean 9 declarations
- FiniteHalfspaceBoundaryStep.lean 3 declarations
- FiniteSetCenter.lean 3 declarations
- Form.lean 15 declarations
- InteriorConvexHullReindex.lean 1 declarations
- InvariantForm.lean 13 declarations
- LinearConvexHull.lean 5 declarations
- LongestMulSelf.lean 2 declarations
- OrbitHalfspace.lean 7 declarations
- PermutahedronBallHomeomorph.lean 6 declarations
- ProbeConvexEuler.lean 1 declarations
- Reflect.lean 15 declarations
- RestrictionLength.lean 5 declarations
- RootCoeffAltExtension.lean 2 declarations
- RootNonnegAscent.lean 5 declarations
- RootNonposDescent.lean 9 declarations
- RootPair.lean 16 declarations
- RootRowOrthogonalWord.lean 2 declarations
- SphericalCartanPos.lean 1 declarations
- SphericalCartanPos2.lean 2 declarations
- SphericalChamberConvexHull.lean 2 declarations
- StrictChamber.lean 2 declarations
- StrictLinearBoundInterior.lean 6 declarations
- TrigPhasePower.lean 3 declarations
- TrigPhaseSqPrimitive.lean 3 declarations