Theorem: sixteen_pow_sixtyfour_mod_nineteen (IIScExperiments/Solutions/NumberTheory5Solutions.lean)

State before:
⊢ 16 ^ 64 = 16
Tactic:
rfl
State after:
no goals