]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7268489) | patch
Notation for congruent.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Jun 2006 13:14:11 +0000 (13:14 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 9 Jun 2006 13:14:11 +0000 (13:14 +0000)
commitc864b3853bbe90664e6ad3128038fc8fa4b5d641
tree9ea81cf9d23d028aa6d89f16931f3c638d62515etree | snapshot
parent726848939b8f9ade553a6dbf3586fc7b7c8299eecommit | diff
Notation for congruent.
Restyling of fermat's little theorem with tynicals.
helm/software/matita/library/nat/congruence.ma diff | blob | history
helm/software/matita/library/nat/fermat_little_theorem.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.