aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Lists/ListDec.v
Commit message (Expand)AuthorAge
* FinFun.v: results about injective/surjective/bijective fonctions over finite ...Gravatar Pierre Letouzey2014-02-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 16:20:04 +0000