Theorem Multiset.prod_X_sub_C_dvd_iff_le_roots

Modification history