OAI/Analysis/Triangular/Construction/ActualTail.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.actualTail_equations line 9
2. lemma OAI.AtomicTriangular.Construction.CallOperator_extend line 34
3. lemma OAI.AtomicTriangular.Construction.AallOperator_extend line 46
4. lemma OAI.AtomicTriangular.Construction.actualTail_full_equations line 60