Theorem Set.dual_Ioc

Modification history