Loading Unordered pair #2: just a commutative semigroup

Beta

Loading Unordered pair #2: just a commutative semigroup

Beta

Unordered pair #2: just a commutative semigroup

9ice1000
Loading description...
Theorem Proving
Functional Programming
Your output will be shown here