Theorem Set.insert_pi

Modification history