Theorem abs_div

Modification history