Theorem UpperSet.icisSupHom_apply

Modification history