TheoremDep
🔍
Modular Equivalence
Dependencies: None
a
≡
b
(
mod
n
)
⟺
n
∣
(
a
−
b
)
Dependency for:
Euler's Theorem
Used in definition
Modular addition
Modular multiplication
Zn is a ring
Zp is an integral domain
Gauss' Lemma
Info:
Depth: 0
Number of transitive dependencies: 0
Transitive dependencies: None