# Def category_theory.examples.topological_spaces.Top

#### Modification history

2018-09-07 11:42

category_theory/examples/topological_spaces.lean

feat(category_theory): lift morphism map proof to concrete categories

Deleted category_theory.examples.topological_spaces.TopView on Github →