Theorem ZModModule.periodicPts_add_left

Modification history