]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Wed, 15 Nov 2006 09:09:02 +0000 (09:09 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Wed, 15 Nov 2006 09:09:02 +0000 (09:09 +0000) | ||
commit | 3caba0beeaf8d1f111d28e3b381956aa6aff363a | |
tree | c96bbc43213933e2bbf949c38ef7208c6bdc83c8 | tree | snapshot |
parent | 004ccf29097c8ab5c4997555b54aba5831fa035a | commit | diff |
helm/software/matita/library/algebra/finite_groups.ma | diff | blob | history |