Theorem Nat.sq_add_sq_modEq

Modification history