Theorem div_inf

Modification history