lean_workbook_plus_76410
ProvedProve the property .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_76410 : ∀ {n b c a : ℕ}, n ≡ b [ZMOD c] → n ^ a ≡ b ^ a [ZMOD c] := by sorrySource
Prove the property .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_76410 : ∀ {n b c a : ℕ}, n ≡ b [ZMOD c] → n ^ a ≡ b ^ a [ZMOD c] := by sorry