Nuprl Lemma : seteqinv1_ext
∀s1,s2:coSet{i:l}. (seteq(s1;s2) ⇒ seteq(s2;s1))
Proof
Error : references
Latex:
\mforall{}s1,s2:coSet\{i:l\}. (seteq(s1;s2) {}\mRightarrow{} seteq(s2;s1))
Date html generated:
2020_05_21-AM-10_29_17
Last ObjectModification:
2018_07_11-PM-00_06_22
Theory : constructive!set!theory
Home
Index