Theorem Set.sUnion_insert

Modification history