]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4b8055) | patch
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
tree0fa346a0db970d40c567cc10e2d73828f885eafatree | snapshot
parentf4b80554953fa5c452fdc9350d236fb9bcb263ddcommit | diff
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 diff | blob | history
helm/software/matita/contribs/formal_topology/overlap/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.