Theorem isOpen_range_sigmaMk

Modification history