Theorem Filter.IsBoundedUnder.comp

Modification history

2023-08-01 21:18

Mathlib/Order/LiminfLimsup.lean

feat: miscellaneous results about Filter.IsBoundedUnder (#6287)

Added Filter.IsBoundedUnder.comp View on Github →