Theorem qParam_tendsto

Modification history