Theorem Function.directed_ptsOfPeriod_pnat

Modification history