Session Fishers_Inequality
View
theory dependencies
View
document
View
outline
Theories
Card_Partitions.Set_Partition
Nested_Multisets_Ordinals.Multiset_More
Nested_Multisets_Ordinals.Duplicate_Free_Multiset
Design_Theory.Multisets_Extras
HOL-Combinatorics.Multiset_Permutations
Set_Multiset_Extras
Well_Quasi_Orders.Least_Enum
Well_Quasi_Orders.Infinite_Sequences
Open_Induction.Restricted_Predicates
Well_Quasi_Orders.Almost_Full
Well_Quasi_Orders.Minimal_Elements
Well_Quasi_Orders.Minimal_Bad_Sequences
Well_Quasi_Orders.Almost_Full_Relations
Polynomials.Utils
Polynomials.MPoly_Type
Polynomials.More_MPoly_Type
Well_Quasi_Orders.Well_Quasi_Orders
Polynomials.Power_Products
Polynomials.More_Modules
Polynomials.MPoly_Type_Class
Polynomials.MPoly_Type_Class_Ordered
Groebner_Bases.General
Groebner_Bases.More_MPoly_Type_Class
Groebner_Bases.Macaulay_Matrix
Matrix_Vector_Extras
Design_Theory.Design_Basics
Design_Theory.Design_Operations
Design_Theory.Block_Designs
Design_Theory.BIBD
Design_Extras
List-Index.List_Index
Design_Theory.Sub_Designs
Design_Theory.Design_Isomorphisms
Incidence_Matrices
Dual_Systems
BenOr_Kozen_Reif.More_Matrix
Rank_Argument_General
Linear_Bound_Argument
Fishers_Inequality
Vector_Matrix_Mod
Fishers_Inequality_Variations
Fishers_Inequality_Root