OAI/Geometry/NodalSets/Persistence/
16 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- FiniteHistorySelection.lean 1 declarations
- FiniteSignPersistence.lean 3 declarations
- LiteralNodalUniformPersistence.lean 1 declarations
- LocalAdmissibilityPersistence.lean 1 declarations
- RealWeakUniqueContinuation.lean 2 declarations
- SphereFiniteNormSimplePersistence.lean 1 declarations
- SphereReferenceNodalPersistence.lean 1 declarations
- SphereSimpleOrientedPersistence.lean 1 declarations
- SphereSimpleUniformPersistence.lean 1 declarations
- SphereWeakUniqueContinuation.lean 4 declarations