Session Fishburn_Impossibility
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.FuncSet
HOL-Library.Disjoint_Sets
HOL-Library.Cancellation
File ‹Cancellation/cancel.ML›
File ‹Cancellation/cancel_data.ML›
File ‹Cancellation/cancel_simprocs.ML›
HOL-Library.Multiset
File ‹multiset_simprocs.ML›
HOL-Combinatorics.Transposition
HOL-Combinatorics.Permutations
List-Index.List_Index
Randomised_Social_Choice.Order_Predicates
Randomised_Social_Choice.Preference_Profiles
Randomised_Social_Choice.Elections
Randomised_Social_Choice.Preference_Profile_Cmd
File ‹preference_profiles.ML›
Social_Choice_Functions
Fishburn_Impossibility