aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Integer/TreeMod/ZTreeMod.v
AgeCommit message (Expand)Author
2007-10-04Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o...emakarov
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 12:24:50 +0000