Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
algebra
ofe.v
Find file
Blame
History
Permalink
Note: If f^2 is contractive, that doesn't imply that f is non-expansive
· 711bead3
Ralf Jung
authored
Feb 23, 2017
711bead3