Theorem isUpperSet_interᵢ

Modification history