Step
*
of Lemma
subtype_rel_universe1
Type ⊆r 𝕌'
BY
{ Auto }
Latex:
Latex:
Type  \msubseteq{}r  \mBbbU{}'
By
Latex:
Auto
Home
Index