]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a95bb53) | 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)
commita4058857e32cec5492821cf11696cdb25df28f4c
tree552001b75067fef1fe89078a6def407153beb14dtree | snapshot
parenta95bb53a77f84592a64131eadf7d4501c49667cecommit | diff
Second formulation of a constructive (positive) proof of Lebesgue's
integration theorem, based on a proof by Weber.
helm/software/matita/dama/DIMOSTRAZIONE diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.