P
Initializing...
No-return of the wall trace implies the Nice Angel theorem · Prove2Me