Metamath Proof Explorer

Table of Contents - 20.43.1.1. Unordered and ordered pairs - extension for singletons

1. eusnsn
2. absnsb
3. euabsneu