Theorem Nat.pow_mod

Modification history

2024-03-26 23:09

Mathlib/Data/Nat/Defs.lean

chore(Data/Nat): Use Std lemmas (#11661) …

Modified Nat.pow_mod View on Github →

2022-12-16 03:06

Mathlib/Data/Nat/Pow.lean

feat port Data.Nat.Pow (#1050) …

Added Nat.pow_mod View on Github →