Theorem Function.Periodic.image_uIcc

Modification history