metamath/set.mm

**Brief Summary** Metamath’s *set.mm* library is a comprehensive, formally verified database of definitions, theorems, and proofs for logic and set theory, writ