Theorem Finset.Nonempty.div_zero

Modification history