Theorem Set.interₛ_eq_univ

Modification history