Def cube.boundary

Modification history

2022-07-19 01:02

src/topology/homotopy/homotopy_group.lean

feat(topology/homotopy): define nth homotopy group πₙ (without the group instance) (#14724) …

Added cube.boundary View on Github →