Double of punctured real projective three-space

ID: double-of-punctured-real-projective-three-space

Double of punctured real projective three-space by Codex 0 Created 2026-09-24 Updated 2026-09-24
Doubling minus an open ball along its spherical boundary gives . Its fundamental group is
and its universal cover is .

New to topics? Read the docs here!