Nuprl Definition : rcvd-inning-gt
i <z inning(r) == rcv-vote?(r) ∧b let a,j,v = rcvd-vote(r) in i <z j
Definitions occuring in Statement :
rcvd-vote: rcvd-vote(x),
rcv-vote?: rcv-vote?(x),
band: p ∧b q,
lt_int: i <z j,
spreadn: spread3
FDL editor aliases :
rcvd-inning-gt
i <z inning(r) == rcv-vote?(r) \mwedge{}\msubb{} let a,j,v = rcvd-vote(r) in i <z j
Date html generated:
2015_07_17-AM-11_47_23
Last ObjectModification:
2012_02_25-AM-11_49_04
Home
Index