Commit 2023-09-06 10:25 db7fecc0
View on Github →feat: Kernel of a filter (#6981) Define the kernel of a filter as the intersection of its sets and show it forms a Galois coinsertion with the principal filter.
feat: Kernel of a filter (#6981) Define the kernel of a filter as the intersection of its sets and show it forms a Galois coinsertion with the principal filter.