Theorem Set.Icc.coe_ne_one

Modification history