Theorem Set.Ioi_insert

Modification history