Theorem Function.Semiconj.mapsTo_ptsOfPeriod

Modification history