`OAI/Geometry/PrescribedPotential/GlobalFiniteEmbedding.lean`

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Global Finite Embedding.

lemma OAI.GlobalElliptic.Localizers.exists_weight_ne_zero line 26
lemma OAI.GlobalElliptic.Localizers.strong_contDiffOn line 32