Theorem IsBounded.image

Modification history

2023-09-19 04:03

Mathlib/Topology/Bornology/Hom.lean

refactor(Topology/MetricSpace): remove `Metric.Bounded` (#7240) …

Deleted IsBounded.image View on Github →

2023-01-27 06:03

Mathlib/Topology/Bornology/Hom.lean

feat: port Topology.Bornology.Hom (#1855) …

Added IsBounded.image View on Github →