Summary
- merged
- strengthen filter relator to canonical categorical definition with better properties
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Filter.thy (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Filter.thy (diff) |