Summary
- remove typo in bij_swap_compose_bij theorem name; tune proof
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Library/Permutations.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Library/Permutations.thy (diff) |