-- Maclain Hunter: NOT Involution
-- Exact authored source SHA-256: 9bc0dfbadc58a4fae979cab7188a0fafa6eb7a9eb409db67c2826627cd9b2737
-- Machine formalization by Replit Agent; authority below Logic/Logos/God.
import Lean
namespace HunterAuthored

theorem negation_value_involution (value : Int) : -(-value) = value :=
  Int.neg_neg value
#print axioms negation_value_involution

end HunterAuthored