# Def Top.pi_fan

#### Modification history

2023-04-26 16:01

src/topology/category/Top/limits.lean

chore(topology/category/Top/limits): split file (#18871) …

Modified Top.pi_fanView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2023-04-26 16:01

src/topology/category/Top/limits.lean

chore(topology/category/Top/limits): split file (#18871) …

Modified Top.pi_fanView on Github →