monotonic_sequence_limit

Stream: general

[Yaël Dillies]

Is monotonic_sequence_limit generalised by all the filter stuff we have? It's only ever used once in linear_algebra/eigenspace.