Every child of a non-self allowed pattern has strictly smaller rank than its parent. · Prove2Me

P

Initializing...

Every child of a non-self allowed pattern has strictly smaller rank than its parent. · Prove2Me