Theorem Set.Countable.insert

Modification history