Theorem Set.inv_Ioo_0_right

Modification history