File | Mode | Size |
---|---|---|
document | ||
Design_Extras | -rw-r--r-- | 43 bytes |
Design_Extras.thy | -rw-r--r-- | 25.8 KB |
Dual_Systems.thy | -rw-r--r-- | 30.5 KB |
Fishers_Inequality.thy | -rw-r--r-- | 21.2 KB |
Fishers_Inequality_Root.thy | -rw-r--r-- | 338 bytes |
Fishers_Inequality_Variations.thy | -rw-r--r-- | 10.0 KB |
Incidence_Matrices.thy | -rw-r--r-- | 103.5 KB |
Linear_Bound_Argument.thy | -rw-r--r-- | 7.1 KB |
Matrix_Vector_Extras.thy | -rw-r--r-- | 32.5 KB |
Rank_Argument_General.thy | -rw-r--r-- | 20.1 KB |
Set_Multiset_Extras.thy | -rw-r--r-- | 12.6 KB |
Triple_Systems.thy | -rw-r--r-- | 1.9 KB |
Vector_Matrix_Mod.thy | -rw-r--r-- | 22.8 KB |