Theorem minimal_nonempty_open_eq_singleton

Modification history