Theorem invQParam_tendsto

Modification history