projects / helm.git / commit
| author | Cristian Armentano <??> | |
| Mon, 10 Sep 2007 11:20:29 +0000 (11:20 +0000) | ||
| committer | Cristian Armentano <??> | |
| Mon, 10 Sep 2007 11:20:29 +0000 (11:20 +0000) | ||
| commit | c187392ea5521aa5daf86be2ed947016493fed79 | |
| tree | 60c7c89381388ec53ded1ede79214f1eaebc62c1 | tree | snapshot |
| parent | e464d2ad85f2a3902f911e28f06a54b7fa16d2d7 | commit | diff |
| helm/software/matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma | diff | blob | history | |
| helm/software/matita/library/nat/totient1.ma | diff | blob | history |