Theorem xInTermsOfW_vars_subset

Modification history