Theorem Set.Nonempty.left

Modification history