Theorem Finset.Nonempty.zero_mul

Modification history