Theorem Finset.Nonempty.of_smul_left

Modification history