]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaad3ea) | 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)
commit4a073df57b56bf6d89ec0f806d5471388940deda
treeae89a46f07cc3cefdb8d5ca1246508855783f804tree | snapshot
parentaaad3ea82df41676a1f438683223f196f6800f59commit | 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.
matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.