Theorem Set.Nonempty.smul_zero

Modification history