]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f0170b) | patch
Integration f_algebras declassed.
authorEnrico Zoli <??>
Fri, 3 Nov 2006 16:58:51 +0000 (16:58 +0000)
committerEnrico Zoli <??>
Fri, 3 Nov 2006 16:58:51 +0000 (16:58 +0000)
commitd69878e5f8e69bc0fb71b10a14938803f7f87369
treec583fcdcc375c8bddf82723880691cbbab6051cetree | snapshot
parent5f0170bd697f92e6bf9c505bc107d79c873460ddcommit | diff
Integration f_algebras declassed.
We suppose to prove everything on integration_riesz_spaces.
However, the definition or weak order unit is complex because of the sup
on sequences.
helm/software/matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.