aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Reals/R_sqrt.v
Commit message (Expand)AuthorAge
* Proprietes de la racine carreeGravatar desmettr2002-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-24 20:19:24 +0000