Commit 2023-08-11 09:51 d567f7cf

View on Github →

chore: use IsDirected in Filter.isBounded_sup (#6511)

Estimated changes

modified theorem Filter.isBounded_sup