Theorem exists_unionᵢ_eq_closure_subset

Modification history