Theorem: sixteen_pow_sixtyfour_mod_nineteen (IIScExperiments/NumberTheory5.lean)

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