Theorem div_pos

Modification history