Mathlib Map

Structures · Topology

Topology.RelCWComplex.Finite

A CW complex is finite if it is finite dimensional and of finite type.

Defined in
Mathlib.Topology.CWComplex.Classical.Finite
Shape
One type argument

Extends2

Extended by0

Nothing extends this class yet.

Concrete types that are instances0

No instance on a concrete type; it is reached through other classes.

How is a type an instance?

Loading the hierarchy index…

Assumed by6

Ancestors2