Theorem Finset.div_singleton

Modification history