Theorem Set.singleton_pow

Modification history