zfc 0.5.0

Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).
Documentation