]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f66dea) | patch
right and left cancellation in groups
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Jan 2006 18:49:40 +0000 (18:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Jan 2006 18:49:40 +0000 (18:49 +0000)
commitb5619c04607ec92594e7645847409c351129709b
treec4ba819fe1ab03297bc78050345dffaa5574572dtree | snapshot
parent9f66deafc611d91e5bd68d33aa4d603a99d40de9commit | diff
right and left cancellation in groups
helm/matita/library/algebra/groups.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.