Theorem xInTermsOfW_vars_aux

Modification history