OAI/Geometry/NodalSets/Hausdorff/
33 declarations, 0 contain sorry, 0 declared as axioms; 17 files
Files
- EnvelopeNodalGain.lean 4 declarations
- FiniteNodalCylinder.lean 1 declarations
- FixedDomainLatticeCoordinateNodalCertificate.lean 1 declarations
- FixedDomainPackedNodal.lean 1 declarations
- FixedDomainPlacedNodal.lean 1 declarations
- HausdorffDistortion.lean 1 declarations
- IntrinsicUniformNodal.lean 1 declarations
- LatticeCoordinateNodalCertificate.lean 1 declarations
- LiteralNodalCertificate.lean 3 declarations
- NodalProjection.lean 4 declarations
- OriginalCoefficientNodalTransfer.lean 1 declarations
- PerturbedNodalTransfer.lean 3 declarations
- PhysicalNodalCylinder.lean 4 declarations
- PhysicalNodalDisk.lean 2 declarations
- PlacedNodalCertificate.lean 2 declarations
- SeedWindowNodalLower.lean 2 declarations
- SphereFiniteNormNodalTransfer.lean 1 declarations