Dris configuration: $\omega(m)\le\omega(s)+\Omega(s)+\#\{q\mid k+1\}$ · Prove2Me

P

Initializing...

Dris configuration: $\omega(m)\le\omega(s)+\Omega(s)+\#\{q\mid k+1\}$ · Prove2Me