OAI/Probability/CriticalPercolation/LinearGroups/AlgebraicVirtualSolvability.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.LinearGrowth.finiteIndex_comap_surjective line 16
2. lemma OAI.CriticalPercolation.LinearGrowth.solvable_range_of_mem line 23
3. lemma OAI.CriticalPercolation.LinearGrowth.solvable_restricted_range line 30
4. lemma OAI.CriticalPercolation.LinearGrowth.virtually_solvable_linear_of_rank line 41
5. lemma OAI.CriticalPercolation.LinearGrowth.virtually_solvable_linear line 121