OAI/GroupTheory/SimpleOvergroups/FiniteNames.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleFInftyOvergroups.EffectiveNames.Finite.traverse line 8
2. theorem OAI.SimpleFInftyOvergroups.EffectiveNames.Finite.vector_full line 11
3. theorem OAI.SimpleFInftyOvergroups.EffectiveNames.Finite.traverse_full line 21
4. theorem OAI.SimpleFInftyOvergroups.EffectiveNames.Finite.partrec_traverse line 30
5. theorem OAI.SimpleFInftyOvergroups.EffectiveNames.Finite.computable_function line 36
6. theorem OAI.SimpleFInftyOvergroups.EffectiveNames.Finite.primrec_function line 41