]> matita.cs.unibo.it Git - helm.git/commit
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
treec02d8693d08cba74650ea646398718c761a1ecbe
parentf345c59c259bc72379996c951561a0aa3ca06dc9
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