Theorem Int.sq_add_sq_of_two_mul_sq_add_sq

Modification history