i <z inning(r) == rcv-vote?(r) 
let a,j,v = rcvd-vote(r) in i <z j
Definitions :
band: p q,
rcv-vote?: rcv-vote?(x),
spreadn: spread3,
rcvd-vote: rcvd-vote(x),
lt_int: i <z j
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:
2010_08_27-AM-12_56_34
Last ObjectModification:
2009_12_23-PM-03_31_54
Home
Index