]> matita.cs.unibo.it Git - helm.git/tree
Riesz_spaces are now seen as lattices + vector spaces + ordered abelian groups.
drwxr-xr-x - helm