-- Maclain Hunter: NOT Involution
-- Exact authored source SHA-256: 1fa7c3de4106820c0a6ab68bf9f1d2c299422dfd346cdbc83ddb891ba1247c22
-- 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