Theorem Set.Ioo.one_minus_lt_one

Modification history