Theorem minimal_nonempty_closed_subsingleton

Modification history