Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
General auxiliary theorems (1)
Unordered and ordered pairs - extension for unordered pairs

Next ⟩ elprneb

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 20.43.1.2. Unordered and ordered pairs - extension for unordered pairs

elprneb