Theorem xInTermsOfW_aux

Modification history