OAI/Analysis/Pureness/GroupAlgebra/WordMeetKernel.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CuntzPureness.wordMeetKernel line 10
2. lemma OAI.CuntzPureness.wordMeetKernel_zero line 16
3. lemma OAI.CuntzPureness.wordMeetKernel_one line 28
4. theorem OAI.CuntzPureness.wordTree_shell_identity line 41
5. def OAI.CuntzPureness.wordAncestor line 63
6. lemma OAI.CuntzPureness.wordAncestor_cons line 66
7. def OAI.CuntzPureness.wordAncestorPair line 79
8. lemma OAI.CuntzPureness.wordAncestorPair_cons line 84