ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R3346 on D4896: Standard pair

Characterisation of equality of ordered pairs