`OAI/Geometry/SmoothYau/NodalMeasure/`

104 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

ActualProfileSpeedNonneg.lean 9 declarations
CompactRegularLevelIntrinsicFinite.lean 17 declarations
ExistsSupportedBoxNodalQuasimodes.lean 2 declarations
ExtrusionEquiv.lean 51 declarations
GaussianPDFStandardOne.lean 7 declarations
PositiveIntegral.lean 5 declarations
SphericalNodalFinite.lean 13 declarations