]> matita.cs.unibo.it Git - helm.git/commit
basic topologies are trivially o-basic topologies
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Jan 2009 01:19:23 +0000 (01:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Jan 2009 01:19:23 +0000 (01:19 +0000)
commitfc577dad1529b2d90c40dad8e6e3429281107c99
tree0fa346a0db970d40c567cc10e2d73828f885eafa
parentf4b80554953fa5c452fdc9350d236fb9bcb263dd
basic topologies are trivially o-basic topologies
the same for their morphisms
helm/software/matita/contribs/formal_topology/overlap/basic_topologies_to_o-basic_topologies.ma
helm/software/matita/contribs/formal_topology/overlap/depends