Theorem Set.range_inl

Modification history