P
Initializing...
The refined child is positive and strictly smaller · Prove2Me