2018-09-07 11:42

category_theory/examples/topological_spaces.lean

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

Added category_theory.examples.topological_spaces.nbhds