]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57ed85b) | 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)
commitbeb2e07d06ead1ba8d20fef3541959ed29748068
tree2f6a1aea204b58db357971ee0f1cb54ebe2f68bctree | snapshot
parent57ed85b4dd8f0585949c470972d0f8bd5b972428commit | diff
little change to theorem eq_gcd_times_times_eqv_times_gcd
helm/software/matita/library/nat/gcd_properties1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.