Theorem div_sup

Modification history