OAI/Geometry/IsometricImmersion/Coordinates/
222 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- ActualCentralShearMargins.lean 2 declarations
- ActualFiniteShearedCutBounds.lean 2 declarations
- ActualPatchQRectangle.lean 3 declarations
- ActualReferenceSegment.lean 1 declarations
- ActualShearHyperbolicity.lean 6 declarations
- AffinePatchSquares.lean 11 declarations
- AffinePullback.lean 16 declarations
- AffinePushforward.lean 15 declarations
- BoundedClassSlabSmallness.lean 8 declarations
- BoundedPatchSlabGeometry.lean 4 declarations
- CoordinateFirstBounds.lean 3 declarations
- CoordinateSwap.lean 24 declarations
- ExteriorAnnuli.lean 30 declarations
- ExteriorCenterNets.lean 14 declarations
- OrientationNet.lean 14 declarations
- OrientedCenterNets.lean 13 declarations
- OrientedPatchSquares.lean 19 declarations
- PatchAddressModel.lean 9 declarations
- PatchGeometry.lean 6 declarations
- RoundDisk.lean 17 declarations
- ShearSpeedBounds.lean 5 declarations