Theorem Set.div_zero_subset

Modification history