Theorem Finset.div_subset_div_right

Modification history