Step
*
2
of Lemma
qmul-zero-div
1. a : ℚ
2. b : ℤ-o
⊢ (0 * a) = 0 ∈ ℚ
BY
{ xxxQNorm 0xxx }
Latex:
Latex:
1.  a  :  \mBbbQ{}
2.  b  :  \mBbbZ{}\msupminus{}\msupzero{}
\mvdash{}  (0  *  a)  =  0
By
Latex:
xxxQNorm  0xxx
Home
Index