asymptotic regularity for Mann iterates (0)

by Uniform