Theorem inf_sq_eq_mul_div_mabs_div

Modification history