aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Wellfounded/Inclusion.v
Commit message (Expand)AuthorAge
* ajout de theories/WellfoundedGravatar filliatr2000-11-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 19:38:08 +0000