diff --git a/Compfiles/Usa1992P1.lean b/Compfiles/Usa1992P1.lean index 8585094..2527900 100644 --- a/Compfiles/Usa1992P1.lean +++ b/Compfiles/Usa1992P1.lean @@ -1,7 +1,7 @@ /- Copyright (c) 2024 The Compfiles Contributors. All rights reserved. Released under Apache 2.0 license as described in the file LICENSE. -Authors: +Authors: David Renshaw -/ import Mathlib.Data.Nat.Digits