OAI/Geometry/CubicTorus/Reflection/
949 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- ActualAxialFlux.lean 26 declarations
- AxialAreaDensity.lean 49 declarations
- AxialAreaMarginal.lean 58 declarations
- AxialFluxDensity.lean 26 declarations
- AxialNormalCalibration.lean 57 declarations
- AxialSectionCoordinates.lean 55 declarations
- AxialSectionCorner.lean 34 declarations
- AxialWeightedHeight.lean 36 declarations
- BVConeSecondaryFlux.lean 32 declarations
- BVScaledFlux.lean 62 declarations
- BVTorusGraphFlux.lean 44 declarations
- ChamberGlobalFold.lean 41 declarations
- ChamberPositionProducer.lean 18 declarations
- CoordinateChamber.lean 45 declarations
- CoordinateReflection.lean 58 declarations
- CoordinateReflection2.lean 50 declarations
- DelaunayPeriodicMoments.lean 34 declarations
- MinimizerAxialCenter.lean 38 declarations
- NormalMeasureCoordinateReflection.lean 37 declarations
- RevolutionTangents.lean 38 declarations
- SiblingAxialProjection.lean 28 declarations
- SiblingReflectNormal.lean 33 declarations
- TorusCylinders.lean 50 declarations