Theorem Set.inv_Ioi

Modification history