Theorem Set.Ioc.coe_eq_one

Modification history