Title: Theory / Unimportant / Math
Tags: fromImplication mathToSee

Q: The binary relation [...] is defined by the formula
[...]
A: addition; \[ A(x)\oplus B(x)\oplus \phi_{carry}(x).\]
Chapter: 1
Index: 1.9
Kind: Proposition

Name: An involution
Definition: A function which is its own inverse

Smaller0: \(n\) prime
Greater0: is cyclic
Page: 40
Chapter: 4
Section: 1
Variables: \(n\in\mathbb N\)
Kind: Theo
Prefix Greater: \(U(\mathbb Z/n\mathbb Z)\)