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
.
feat(Topology/Bornology): add convenience lemmas (#8640)
Add Bornology.IsBounded.image_fst
, Bornology.IsBounded.image_snd
,
and Bornology.IsBounded.image_eval
.