Theorem Set.Ioo_min_max

Modification history