Test.LeanCheck.Function.Periodic

functions

functionsz

lsPeriodsOf

lsPeriodsOfLimit

isPeriod

isPeriodOf

tiersOfLimit

pairsToFunction