]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ffad67) | patch
Second formulation of a constructive (positive) proof of Lebesgue's
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Feb 2007 18:10:17 +0000 (18:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Feb 2007 18:10:17 +0000 (18:10 +0000)
commitf22725024459660d85ed7ee3c2dbeef198db0efc
treeb3f5f6d21babac137b118d894a200b99edf03a64tree | snapshot
parent0ffad67d97b1495a4444e2cf2dbd82f882ed15e9commit | diff
Second formulation of a constructive (positive) proof of Lebesgue's
integration theorem, based on a proof by Weber.
matita/dama/DIMOSTRAZIONE diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.