(* Title: Fishers_Inequality_Root.thy Author: Chelsea Edmonds *) theory Fishers_Inequality_Root imports Set_Multiset_Extras Matrix_Vector_Extras Design_Extras Incidence_Matrices Dual_Systems Rank_Argument_General Linear_Bound_Argument Fishers_Inequality Vector_Matrix_Mod Fishers_Inequality_Variations begin end