Theorem Function.Periodic.exists_mem_Ico

Modification history