]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df78e1c) | patch
little change to theorem eq_gcd_times_times_eqv_times_gcd
authorCristian Armentano <??>
Thu, 16 Aug 2007 18:45:46 +0000 (18:45 +0000)
committerCristian Armentano <??>
Thu, 16 Aug 2007 18:45:46 +0000 (18:45 +0000)
commitecdf96be61f7f9cee7336b81d24780e59d1ea554
tree96af66043ce2507425e9ede8bd162351b0cff79btree | snapshot
parentdf78e1cd2f9f458ff5b24c483a7ffcddf2d63dfccommit | diff
little change to theorem eq_gcd_times_times_eqv_times_gcd
matita/library/nat/gcd_properties1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.