Theorem: Section15Sheet5.sixteen_pow_sixtyfour_mod_nineteen (FormalisingMathematics2024/Section15numberTheory/Sheet5.lean)

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