Nuprl Lemma : sth-axioms
∀sth:SecurityTheory. SecurityAxioms
Proof
Definitions occuring in Statement :
sth-es: sth-es(s),
security-theory: SecurityTheory,
ses-axioms: SecurityAxioms,
all: ∀x:A. B[x]
Lemmas :
security-theory_wf
Latex:
\mforall{}sth:SecurityTheory. SecurityAxioms
Date html generated:
2015_07_23-PM-00_09_12
Last ObjectModification:
2015_01_29-AM-07_49_38
Home
Index