Mathlib v3 is deprecated. Go to Mathlib v4

Def Born

Modification history

2022-03-25 11:39
src/topology/category/Born.lean
feat(topology/category/Born): The category of bornologies (#12045) …
Added BornView on Github →