Theorem Function.Periodic.exists_mem_Ico₀

Modification history