Summary
- renamed lemma to a more consistent name
- tuned
The file was modified | src/HOL/Library/Finite_Map.thy (diff) |
The file was modified | src/HOL/Library/Finite_Map.thy (diff) |
The file was modified | src/HOL/Library/Finite_Map.thy (diff) |
The file was modified | src/HOL/Library/Finite_Map.thy (diff) |