Theorem Nat.sq_add_sq_mul

Modification history