PROOF 70

Prove.

Reducing a fraction leaves its value unchanged

On the rational numbers ℚ.

Definition D1

When b has a multiplicative inverse, a/b means a · b⁻¹.

Proof.

Related labs