OAI/Probability/CriticalPercolation/LinearGroups/BurnsideDensity.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.LinearGrowth.toModuleEnd_surjective_of_simple line 12
2. lemma OAI.CriticalPercolation.LinearGrowth.subalgebra_eq_top_of_simple line 34