Theorem Bornology.IsBounded.pi

Modification history

2023-01-26 21:39

Mathlib/Topology/Bornology/Constructions.lean

feat: port Topology.Bornology.Constructions (#1854) …

Added Bornology.IsBounded.pi View on Github →