Def Born

Modification history

2023-03-18 15:20
Mathlib/Topology/Category/Born.lean
feat: port Topology.Category.Born (#2973)
Added BornView on Github →