OAI/Probability/CriticalPercolation/GraphTopology/OpenNormalCore.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.CompactQuotient.open_normalCore_of_finiteIndex_normalizer line 12
2. lemma OAI.CriticalPercolation.CompactQuotient.compact_open_normalCore_of_finiteIndex_normalizer line 35