EmptySet
: additional functionality
#3672
Merged
EmptySet
: additional functionality
#3672