]> matita.cs.unibo.it Git - helm.git/commit
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
tree2f6a1aea204b58db357971ee0f1cb54ebe2f68bc
parent57ed85b4dd8f0585949c470972d0f8bd5b972428
little change to theorem eq_gcd_times_times_eqv_times_gcd
helm/software/matita/library/nat/gcd_properties1.ma