OAI/Probability/CriticalPercolation/GraphGeometry/FiniteKernelDescent.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.hom_finite_preimage_of_finite_kernel line 16
2. lemma OAI.CriticalPercolation.hom_finite_composite_kernel line 33
3. theorem OAI.CriticalPercolation.AlgebraicDescent.of_finite_kernel line 39
4. lemma OAI.CriticalPercolation.AlgebraicDescent.of_equiv line 66