Theorem Function.injective_iff_periodicPts_eq_univ

Modification history