Theorem isOpen_range_inl

Modification history