Theorem Finset.singleton_div_singleton

Modification history