P
Initializing...
Transfer a balanced diameter theorem to a common face with few effective rows · Prove2Me