OAI/Probability/BenjaminiSchramm/CayleyInputs.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.rightDefect line 11
2. theorem OAI.Percolation.BenjaminiSchramm.rightDefect_mul line 14
3. theorem OAI.Percolation.BenjaminiSchramm.rightDefect_inv line 32
4. theorem OAI.Percolation.BenjaminiSchramm.rightDefect_generator line 45
5. theorem OAI.Percolation.BenjaminiSchramm.rightDefect_word_bound line 59
6. theorem OAI.Percolation.BenjaminiSchramm.folnerAmenable_of_cayley_hV_nonpos line 76
7. theorem OAI.Percolation.BenjaminiSchramm.cayleyFolnerInput_proved line 105