Theorem exists_unionᵢ_eq_closed_subset

Modification history