Nuprl Lemma : test
True
Proof
Definitions occuring in Statement :
true: True
Definitions unfolded in proof :
true: True,
member: t ∈ T
Latex:
True
Date html generated:
2016_05_17-PM-02_46_43
Last ObjectModification:
2015_12_29-PM-11_30_07
Theory : paxos!synod
Home
Index