OAI/Geometry/NodalSets/Elliptic/RealH1TestExtension.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Yau.real_L2_strong_pairing_tendsto line 11
2. theorem OAI.Yau.real_L2_restricted_strong_pairing_tendsto line 19
3. theorem OAI.Yau.real_local_divergence_H1_test line 29