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 | 3e3e44e5b7f90963e4c0bf49cf550c325f307823 | |
| tree | f3863ee483457d0d148ad92443024bde6d767c98 | tree | snapshot |
| parent | 81ca7521b39937cf79056465e18b4666ce1f34ff | commit | diff |
| matita/library/nat/propr_div_mod_lt_le_totient1_aux.ma | diff | blob | history | |
| matita/library/nat/totient1.ma | diff | blob | history |