Theorem Set.singleton_pi

Modification history