]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 923a48f) | 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)
commitb85863aa589306ecb57be1611d37294e7bcd520f
tree43f50b1d3f7e76107045655b08864fab70040ee8tree | snapshot
parent923a48f491b0e6295bd1f176049d4ceb83291d9ccommit | diff
Zoli's note (in Italian) about a constructive version of Lebesgue's dominated
convergence theorem in a point-free setting.
matita/dama/NotaReticoli.pdf [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.