Theorem compactSpace_of_finite_subfamily_closed

Modification history