Theorem GaussianInt.normSq_div_sub_div_lt_one

Modification history