Commit 2024-07-29 17:16 36b887b1

View on Github →

feat(LiminfLimsup): drop unneeded DecidableEq assumptions (#15267)

Estimated changes

modified theorem Filter.isBoundedUnder_sum