OAI/Combinatorics/TriangleRemoval/Stability/Volterra.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.SharpTerminalLeave.exp_neg_smul_perturbation line 11
  2. def OAI.SharpTerminalLeave.volterra line 48
  3. def OAI.SharpTerminalLeave.volterraIter line 51
  4. theorem OAI.SharpTerminalLeave.continuous_volterra_integrand line 55
  5. theorem OAI.SharpTerminalLeave.continuous_volterra line 61
  6. theorem OAI.SharpTerminalLeave.continuous_volterraIter line 66
  7. theorem OAI.SharpTerminalLeave.volterra_sub line 72
  8. theorem OAI.SharpTerminalLeave.volterraIter_sub line 82
  9. theorem OAI.SharpTerminalLeave.volterraIter_shift line 93
  10. theorem OAI.SharpTerminalLeave.perturbation_iteration line 99
  11. theorem OAI.SharpTerminalLeave.perturbation_finite_expansion line 115
  12. theorem OAI.SharpTerminalLeave.volterraIter_norm_le line 132
  13. theorem OAI.SharpTerminalLeave.continuous_algHom_map_exp line 164
  14. theorem OAI.SharpTerminalLeave.map_volterraIter line 170
  15. theorem OAI.SharpTerminalLeave.perturbation_mixed_norm_bound line 190