-
Andrei Paskevich authored
The theory set.Set is used in the theory of finite sets, but "all" is an infinite set for any infinite type.
9e67bef2
The theory set.Set is used in the theory of finite sets, but "all" is an infinite set for any infinite type.