]> matita.cs.unibo.it Git - helm.git/commit
new gcd properties, and theorems for totient, and theorems for totient1
authorCristian Armentano <??>
Wed, 27 Jun 2007 18:05:37 +0000 (18:05 +0000)
committerCristian Armentano <??>
Wed, 27 Jun 2007 18:05:37 +0000 (18:05 +0000)
commita9f72dea3b74e3c0c33daf5be8f4d5d75611492c
tree4df2b2f187e4b6d1d655613f9a7ca68330c6fe0d
parentee31ecd9be54fb4a3d815f11d77e88c3c49ff363
new gcd properties, and theorems for totient, and theorems for totient1

--this line, and those below, will be ignored--

M    minus.ma
M    le_arith.ma
M    lt_arith.ma
M    div_and_mod.ma
M    div_and_mod_new.ma
M    orders.ma
A    propr_div_mod_lt_le_totient1_aux.ma
A    gcd_properties1.ma
helm/software/matita/library/nat/div_and_mod.ma
helm/software/matita/library/nat/div_and_mod_new.ma
helm/software/matita/library/nat/gcd_properties1.ma [new file with mode: 0644]
helm/software/matita/library/nat/le_arith.ma
helm/software/matita/library/nat/lt_arith.ma
helm/software/matita/library/nat/minus.ma
helm/software/matita/library/nat/orders.ma
helm/software/matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma [new file with mode: 0644]