mathlib

f9f15000 - Cauchy sequences remain Cauchy when composed with covariant operators