Theorem isLowerSet_interₛ

Modification history