Session ArrowImpossibilityGS
View
theory dependencies
View
document
View
outline
Theories
Arrow_Utility
HOL-Library.FuncSet
Arrow_Order
GS