OAI/Geometry/SmoothYau/SphereMetric/
242 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- BoundedThreePolynomialNet.lean 1 declarations
- CompactProfileThreePhaseData.lean 4 declarations
- CompactThreePolynomialNet.lean 1 declarations
- ComplexRealResponse.lean 6 declarations
- ExistsAlignedUnit.lean 7 declarations
- ExistsThreeScalarProducer.lean 24 declarations
- FourThree.lean 36 declarations
- RadialBaseEnvelope.lean 6 declarations
- ScaledThreeAxisEnergy.lean 2 declarations
- ThreeAnalyticNormedSpace.lean 5 declarations
- ThreeCutoffControlBounds.lean 18 declarations
- ThreeExceptional.lean 26 declarations
- ThreeFixedFormNorm.lean 37 declarations
- ThreeFormulaNormedSpace.lean 4 declarations
- ThreeRobustProfileNormedSpace.lean 54 declarations
- ThreeSphere.lean 1 declarations
- UnitCorrelation.lean 6 declarations
- UnitCorrelationSymm.lean 4 declarations