P
Initializing...
Claim 4.2: boundary bound for connected squares · Prove2Me