Theorem Function.Periodic.comp_addHom

Modification history