diff options
| author | Cyril Cohen | 2019-06-26 00:27:04 +0200 |
|---|---|---|
| committer | Assia Mahboubi | 2019-07-05 13:06:04 +0200 |
| commit | 2a0a00630785c616899abaa6fccb95ee76f751bf (patch) | |
| tree | 3765c35c3277e79b35bce93c863ffa9de7a0b72a /docs/htmldoc/mathcomp.algebra.interval.html | |
| parent | 1bda1dd5621684737c9d993855ae104e8b9d2909 (diff) | |
feat(finfun.v): Add tuple_of_finfun, finfun_of_tuple & cancel lemmas
Diffstat (limited to 'docs/htmldoc/mathcomp.algebra.interval.html')
0 files changed, 0 insertions, 0 deletions