Theorem Set.inv_Ioo_0_left

Modification history