Theorem Set.inv_Iio₀

Modification history