Theorem inv_inf

Modification history