diff options
| author | Kazuhiko Sakaguchi | 2019-01-29 13:35:31 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-01-29 13:35:31 +0100 |
| commit | 590adf7b207b7186121c949d0f0419445471269c (patch) | |
| tree | 401356de69f313f1e2b00d4aa0706ed919591aaf /plugin | |
| parent | e5ff94165ab722bfb77d4437a58d49aacc81683d (diff) | |
Add some theorems on lersif and intervals (#269)
* Add some theorems on lersif and intervals
* Add more theorems on lersif
* Remove needless parens
* ChangeLog
* Move lersifN
* Add lersif_anti
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions