Theorem Set.image_pow

Modification history