P
Initializing...
MinWork belongs to the VGC family (proof of Claim 4.2) · Prove2Me