Theorem Set.Ioo.one_minus_pos

Modification history