Theorem Bornology.IsBounded.insert

Modification history

2023-09-19 04:03

Mathlib/Topology/Bornology/Basic.lean

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

Added Bornology.IsBounded.insert View on Github →