This repository is a almost pure set theory library for who want to do "ordinary" mathematics in lean4. The set theory in this library is based on NBG (von Neumann–Bernays–Gödel) Set Theory.
Taras Banakh, Classical Set Theory: Theory of Sets and Classes (aixiv)