Theorem UpperSet.iciSupHom_apply

Modification history