Safe Haskell | None |
---|---|
Language | Haskell2010 |
In mathematics, a pi-system is a non-empty family of sets that is closed under finite intersections.
Safe Haskell | None |
---|---|
Language | Haskell2010 |
In mathematics, a pi-system is a non-empty family of sets that is closed under finite intersections.