Theorem Set.nonempty_of_nonempty_subtype

Modification history