Theorem Function.Periodic.map_vadd_multiples

Modification history