]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Oct 2006 09:31:58 +0000 (09:31 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Wed, 25 Oct 2006 09:31:58 +0000 (09:31 +0000) | ||
commit | 90faddfb3ad925f99429d1830e2f420b4cd6b9a9 | |
tree | dfecfeeea3307e267390a69de530d240fb925ebe | tree | snapshot |
parent | 99431d7f31da2f24195b889e4aa39c297136c8b6 | commit | diff |
helm/software/matita/library/nat/fermat_little_theorem.ma | diff | blob | history |