Home
Bugs
Help
Find!
1 in notes
remei
MOI*
cmavo-compound
quantified selbri: convert 2 to cardinal selbri; x
1
is a set with the pair of members x
2
.
jbovlaste
In notes:
orne
x
1
is a pair (possibly ordered) of x
2
and x
3