Theorem Set.projIic_coe

Modification history