kdrag.theories.logic.zf.FinSet

kdrag.theories.logic.zf.FinSet(*xs)

A helper for sets of the form {x1, x2, …, xn}