OAI/Geometry/NodalSets/Elliptic/FiniteFamilyNonzeroComplement.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Yau.Analysis.finite_family_nonzero_complement line 10
2. theorem OAI.Yau.Analysis.compact_positive_finite_family_extension line 25