Theorem Set.image_iterate_eq

Modification history