Theorem Function.directed_ptsOfPeriod_pNat

Modification history