OAI/Analysis/Triangular/Construction/TailEnumeration.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.residue_injective line 9
2. lemma OAI.AtomicTriangular.Construction.residue_mod line 10
3. lemma OAI.AtomicTriangular.Construction.residue_mem line 11
4. lemma OAI.AtomicTriangular.Construction.finiteNode_lt25 line 12
5. lemma OAI.AtomicTriangular.Construction.tailBase_node line 15
6. def OAI.AtomicTriangular.Construction.enumerateTail line 22
7. lemma OAI.AtomicTriangular.Construction.tailBase_le line 29
8. lemma OAI.AtomicTriangular.Construction.enumerateTail_injective line 41
9. lemma OAI.AtomicTriangular.Construction.enumerateTail_surjective line 52
10. def OAI.AtomicTriangular.Construction.tailEnumeration line 69
11. lemma OAI.AtomicTriangular.Construction.Q_enumerateTail line 71
12. lemma OAI.AtomicTriangular.Construction.D_enumerateTail line 77