Step
*
1
1
of Lemma
qrng_wf
<ℚ+*> ∈ RngSig
BY
{ (RepUR ``qrng rng_sig`` 0 THEN Auto) }
Latex:
Latex:
<\mBbbQ{}+*>  \mmember{}  RngSig
By
Latex:
(RepUR  ``qrng  rng\_sig``  0  THEN  Auto)
Home
Index