Summary
- include lemmas generally useful for combinatorial proofs
The file was modified | src/HOL/Finite_Set.thy (diff) |
The file was modified | src/HOL/Groups_Big.thy (diff) |
The file was modified | src/HOL/Finite_Set.thy (diff) |
The file was modified | src/HOL/Groups_Big.thy (diff) |