Skip to content

make f_contractive consistent with f_equiv

Ralf Jung requested to merge ralf/f_contractive into master

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

Merge request reports