---

Step * of Lemma subtype_rel_bunion

A,B:Type.  ((A r B)  ((A  B) r B))
BY
{ Auto }

1
1. A : Type@i'
2. B : Type@i'
3. A r B@i
 (A  B) r B


\mforall{}A,B:Type.    ((A  \msubseteq{}r  B)  {}\mRightarrow{}  ((A  \mcup{}  B)  \msubseteq{}r  B))


By

Auto



Home Index