Theorem IsClosed.exists_minimal_nonempty_closed_subset

Modification history