aboutsummaryrefslogtreecommitdiff
path: root/theories/Reals/Rbasic_fun.v
AgeCommit message (Expand)Author
2000-11-10mise-a-jour, ajouts de quelques truc...mayero
2000-07-03ajoutsmayero
2000-06-21theories/Realsfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-09 06:26:57 +0000