Nuprl Definition : pv11_p1_LeaderPropose
pv11_p1_LeaderPropose(Cmd;ldrs_uid;mf) ==
  ((pv11_p1_leader_propose(Cmd) o pv11_p1_propose'base(Cmd;mf)) o pv11_p1_LeaderState(Cmd;ldrs_uid;mf))
Definitions occuring in Statement : 
pv11_p1_leader_propose: pv11_p1_leader_propose(Cmd)
, 
pv11_p1_LeaderState: pv11_p1_LeaderState(Cmd;ldrs_uid;mf)
, 
pv11_p1_propose'base: pv11_p1_propose'base(Cmd;mf)
, 
eclass2: (X o Y)
, 
eclass1: (f o X)
FDL editor aliases : 
pv11_p1_LeaderPropose
Latex:
pv11\_p1\_LeaderPropose(Cmd;ldrs$_{uid}$;mf)  ==
    ((pv11\_p1\_leader\_propose(Cmd)  o  pv11\_p1\_propose'base(Cmd;mf))  o
    pv11\_p1\_LeaderState(Cmd;ldrs$_{uid}$;mf))
Date html generated:
2015_07_23-PM-04_33_24
Last ObjectModification:
2014_11_26-AM-11_30_08
Home
Index