Theorem Finset.Nonempty.zero_div

Modification history