]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc577da) | patch
Sambin's result holds trivially since most of the fields of the objects of
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Jan 2009 01:37:16 +0000 (01:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Jan 2009 01:37:16 +0000 (01:37 +0000)
commitb1dbb34e1e2388a3987710e128e6f19b7d8fe5fc
tree2a29e3705715428345ee735a9a300fea162b3e2atree | snapshot
parentfc577dad1529b2d90c40dad8e6e3429281107c99commit | diff
Sambin's result holds trivially since most of the fields of the objects of
the two categories are definitionally equal!
helm/software/matita/contribs/formal_topology/overlap/basic_pairs_to_basic_topologies.ma [new file with mode: 0644] blob
helm/software/matita/contribs/formal_topology/overlap/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.