Theorem Finset.div_subset_iff

Modification history