]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f345c59) | patch
Closer to the proof of the pigeonhole principle... that is already in the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Feb 2006 18:48:12 +0000 (18:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 1 Feb 2006 18:48:12 +0000 (18:48 +0000)
commitef465722a7f3314832fa4ef2d0265288ee74c87b
treec02d8693d08cba74650ea646398718c761a1ecbetree | snapshot
parentf345c59c259bc72379996c951561a0aa3ca06dc9commit | diff
Closer to the proof of the pigeonhole principle... that is already in the
library as a theorem over permutations :-(
helm/matita/library/algebra/groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.