Skip to content
GitLab

make f_contractive consistent with f_equiv

Merged Ralf Jung requested to merge ralf/f_contractive into master

This is the f_contractive version of stdpp!325 (merged).