]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e46b614) | patch
Some more work on the proof of the pigeonhole principle.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Jan 2006 18:00:08 +0000 (18:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Jan 2006 18:00:08 +0000 (18:00 +0000)
commit4424e9d4f0260f136fc8df7bc71764c5904a34c6
treed3d7a96f3916df375da7fbb7013de356e078b4eftree | snapshot
parente46b614f187e3be3d5c38a99a7258bc1c8205a04commit | diff
Some more work on the proof of the pigeonhole principle.
Really tougher than expected.
helm/matita/library/algebra/groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.