Step
*
of Lemma
rng_subtype_rng_sig
Rng ⊆r RngSig
BY
{ Auto }
Latex:
Latex:
Rng  \msubseteq{}r  RngSig
By
Latex:
Auto
Home
Index