]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: befe310) | patch
Ok, even if not stated formally, now we know that the map from REL to OA is
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 13:58:06 +0000 (13:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Jan 2009 13:58:06 +0000 (13:58 +0000)
commit81432e2003b9c1514975e006775fe59056e125a4
tree2505f7c075dd7c11b817cc6c830ce25fb9fa1b9ftree | snapshot
parentbefe31089d1d45360b5b7681556c8a762800b3a2commit | diff
Ok, even if not stated formally, now we know that the map from REL to OA is
a functor!
helm/software/matita/contribs/formal_topology/overlap/relations.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.