Double of punctured real projective three-space
ID: double-of-punctured-real-projective-three-space
Doubling minus an open ball along its spherical boundary gives . Its fundamental group isand its universal cover is .
New to topics? Read the docs here!