OAI/Probability/LatticeSurface/Geometry/
320 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- BlockAnalytic.lean 4 declarations
- BlockEdgeGeometry.lean 13 declarations
- BlockFacetGeometry.lean 14 declarations
- BlockGeometry.lean 13 declarations
- BlockRadial.lean 9 declarations
- BlockTelescope.lean 3 declarations
- BlockVolume.lean 19 declarations
- CapCentral.lean 6 declarations
- CapCompact.lean 5 declarations
- CapContract.lean 11 declarations
- CapCoordinates.lean 20 declarations
- CapMatching.lean 4 declarations
- CapOrient.lean 1 declarations
- CapReflection.lean 24 declarations
- CapSmall.lean 11 declarations
- CapSplit.lean 3 declarations
- CapUnpin.lean 11 declarations
- CapWeld.lean 14 declarations
- ContactVolume.lean 10 declarations
- EdgeCoordinates.lean 23 declarations
- FacetBody.lean 4 declarations
- FacetExposure.lean 4 declarations
- StrictFilling.lean 31 declarations
- TriangularBlock.lean 3 declarations
- TriangularCover.lean 23 declarations
- TriangularGeometry.lean 34 declarations
- UniformFacet.lean 3 declarations