Theorem isLowerSet_interᵢ

Modification history