Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
Born.of
Modification history
2022-03-25 11:39
src/topology/category/Born.lean
feat(topology/category/Born): The category of bornologies (#12045) …
Added
Born.of
View on Github →