Theorem Set.subset_interₛ

Modification history