Theorem Set.interᵢ_univ

Modification history