Theorem Set.Nonempty.smul_set

Modification history