P

Initializing...

PAIR: two maps eventually have a common hole on some $k$-set (open) · Prove2Me