Theorem Set.interₛ_insert

Modification history