]> matita.cs.unibo.it Git - helm.git/commit
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
tree2a29e3705715428345ee735a9a300fea162b3e2a
parentfc577dad1529b2d90c40dad8e6e3429281107c99
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]
helm/software/matita/contribs/formal_topology/overlap/depends