Def Top

Modification history

2020-07-11 08:43

src/topology/category/Top/basic.lean

feat(algebra/category/*): get rid of the local reducible hack (#3354) …

Modified Top View on Github →

2019-05-31 06:43

src/topology/Top/basic.lean

chore(category_theory): move all instances (e.g. Top, CommRing, Meas) into the root namespace (#1074) …

Added Top View on Github →