menu

Return to entry

HOModel
Reduction
Majorities
OneThirdRuleDefs
OneThirdRuleProof
UvDefs
UvProof
LastVotingDefs
LastVotingProof
UteDefs
UteProof
AteDefs
AteProof
EigbyzDefs
EigbyzProof

Heard_Of.Reduction

HTML Presentation