diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2013-12-04 11:07:06 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2013-12-04 11:07:06 +0100 |
| commit | 3339c56fec1b9e9aab6f31c04ddbe3a77b5812ec (patch) | |
| tree | 55a576798fb9f3e162086c0abe2e24d2dc7e411e /theories/Logic | |
| parent | 32f6c4ee62146810c72cb5c86f341c8ca77be909 (diff) | |
Add lemma derivable_pt_lim_atan.
Note: the choice of the derivative comes from derivable_pt_lim_ps_atan
rather than derivable_pt_atan.
Diffstat (limited to 'theories/Logic')
0 files changed, 0 insertions, 0 deletions