Commit 2024-04-21 06:33 e3dee5df

View on Github →

feat: tendsto on a supremum (#12308)

Estimated changes

added theorem Filter.Tendsto.sup_sup