Theorem continuous_sigmaMk

Modification history