Rename final ERC-20 Theorem

Author: lefterislazar

tests/rocq/ERC20/Theory.v

@@ -223,7 +223,7 @@ Proof.
   intros. lia.
 Qed.
 
-Theorem constant_balanceOf : forall STATE,
+Theorem sum_balanceOf_eq_totalSupply : forall STATE,
     reachable STATE ->
     balanceOf_sum STATE = totalSupply STATE.
 Proof.
@@ -295,4 +295,4 @@ Proof.
       destruct H; simpl; auto.
     + (* allowance *)
       destruct H; simpl; auto.
-Qed.
+Qed.