Theorem Function.mem_periodicPts_of_injective

Modification history