Multiplicative inverse


Definition

ProofWiki