Theorem abs_one_div

Modification history