Theorem Function.Periodic.map_vadd_zmultiples

Modification history