Theorem minimal_nonempty_open_subsingleton

Modification history