aboutsummaryrefslogtreecommitdiff
path: root/contrib/setoid_ring/Ring_equiv.v
AgeCommit message (Expand)Author
2006-09-26commit de field + renommagesbarras
2006-09-26mise a jour du nouveau ring et ajout du nouveau field, avant renommagesbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 00:12:42 +0000