P
Initializing...
A work-function growth bound at injective configurations extends to all configurations · Prove2Me