diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-10-18 22:29:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-18 22:29:29 +0100 |
| commit | 35fa0c0cdd07fd8a26fb15eae28b5b412007e5ba (patch) | |
| tree | a81c3cf1efdc98270b9bc20255490e21365e0d7a /docs/source | |
| parent | d6917048bf92477bc26576b010b076b49b0da1b2 (diff) | |
update Lipschitz constant (#404)
Diffstat (limited to 'docs/source')
0 files changed, 0 insertions, 0 deletions