OAI/Analysis/Triangular/Construction/TailInterpolation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.AtomicTriangular.Construction.inputJJet_tail_transformed line 11
2. lemma OAI.AtomicTriangular.Construction.pairJJet_negative line 28
3. lemma OAI.AtomicTriangular.Construction.actual_tail_negative line 33