Theorem Set.inv_Ioi₀

Modification history