Theorem Set.insert_sigma

Modification history