Theorem Function.injective_iff_forall_mem_periodicPts

Modification history