OAI/Analysis/Conductivity/Variational/CompactSelectedReplacement.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ScalarConductivity.CompactSelectedReplacement line 23
2. theorem OAI.ScalarConductivity.synchronized_selected_replacement line 42
3. theorem OAI.ScalarConductivity.exists_selected_split_on_subpatch line 155