OAI/Analysis/FreeGroupFactor/Main.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FreeGroupFactorMain.InfiniteGeneration.one_step_none line 16
2. theorem OAI.FreeGroupFactorMain.InfiniteGeneration.generating_tuple line 28
3. theorem OAI.FreeGroupFactorMain.InfiniteGeneration.rank_three_to_index line 41
4. def OAI.FreeGroupFactorMain.InfiniteGeneration.indexEquivNat line 50
5. theorem OAI.FreeGroupFactorMain.rankThreeInfinite line 56