Theorem Finset.Nonempty.of_smul_right

Modification history