OAI/Analysis/Triangular/Signs/DeletedExponential.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.AtomicTriangular.Envelope.expDeleted line 10
2. def OAI.AtomicTriangular.Envelope.expDeletedTaylor line 13
3. lemma OAI.AtomicTriangular.Envelope.exp_sum_split line 15
4. lemma OAI.AtomicTriangular.Envelope.expDeleted_remainder_eq line 28
5. lemma OAI.AtomicTriangular.Envelope.expDeleted_zero line 36
6. lemma OAI.AtomicTriangular.Envelope.expDeleted_error line 39