Theorem Function.periodicPts_subset_image

Modification history