Theorem Set.interₛ_empty

Modification history