Theorem Finset.div_inter_subset

Modification history