Nuprl Lemma : regext-transitive

∀a:coSet{i:l}. transitive-set(regext(a))


Proof

Error : references
Latex:
\mforall{}a:coSet\{i:l\}.  transitive-set(regext(a))


Date html generated: 2020_05_21-AM-10_29_21
Last ObjectModification: 2018_07_20-AM-10_57_31

Theory : constructive!set!theory


Home Index