OAI/Analysis/Conductivity/Sobolev/ChildFullEndH1.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ScalarConductivity.childFullEnd_H10 line 12
2. lemma OAI.ScalarConductivity.childH10Transport_local_jet line 71
3. theorem OAI.ScalarConductivity.physicalChildFullEnd_H10 line 118