Theorem UpperSet.coe_icisSupHom

Modification history