Commit 2023-11-27 17:05 04c2181e

View on Github →

feat(Topology/Bornology): add convenience lemmas (#8640) Add Bornology.IsBounded.image_fst, Bornology.IsBounded.image_snd, and Bornology.IsBounded.image_eval.

Estimated changes