OAI/Analysis/Conductivity/Branching/OpenDisjointify.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ScalarConductivity.openDisjointify line 23
2. lemma OAI.ScalarConductivity.openDisjointify_subset line 27
3. lemma OAI.ScalarConductivity.openDisjointify_isOpen line 30
4. lemma OAI.ScalarConductivity.openDisjointify_pairwise line 36
5. lemma OAI.ScalarConductivity.openDisjointify_cover line 45
6. lemma OAI.ScalarConductivity.openDisjointify_ae_cover line 70
7. theorem OAI.ScalarConductivity.finite_disjoint_localization line 76