diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-02-03 11:11:38 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-02-07 11:50:26 +0100 |
| commit | 009fb68f0578e462b817f50772e2fba8d58c4f0d (patch) | |
| tree | 2dc5b41222371a3a3e3d0655130f056d6599fc10 /theories/NArith | |
| parent | 8089dc960c9e8caf778907fd87be48d77b066433 (diff) | |
FinFun.v: results about injective/surjective/bijective fonctions over finite domains
+ Some extra results about NoDup, Fin.t, ...
Diffstat (limited to 'theories/NArith')
0 files changed, 0 insertions, 0 deletions