Theorem eq_of_mabs_div_eq_one

Modification history