agda/agda-stdlib — pull request #28 by aztek (2014-07-11 10:01:22+00:00)
Title: Add a property involving intersection of Subsets

Analogous to the one involving union.