Theorem Finset.div_subset_div

Modification history