Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-07 11:42 d91428c2

View on Github →

feat(category_theory): the category of topological spaces, and of neighbourhoods of a point. also the category of commutative rings

Estimated changes