]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b10e095) | patch
Zoli's note (in Italian) about a constructive version of Lebesgue's dominated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 08:43:02 +0000 (08:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 08:43:02 +0000 (08:43 +0000)
commite637a49974d061f8f9a55b2c3c33e31757d99424
tree0472284000776a4fff7cee7f614df0b54ccd0ef6tree | snapshot
parentb10e0955156b157bf471c3999f43cf9535827f3acommit | diff
Zoli's note (in Italian) about a constructive version of Lebesgue's dominated
convergence theorem in a point-free setting.
helm/software/matita/dama/NotaReticoli.pdf [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.