Theorem Set.singleton_pi'

Modification history