Metamath Proof Explorer

Table of Contents - 20.3.27.1. Two-dimensional geometry

This definition has been superseded by and is no longer needed in the main part of set.mm. It is only kept here for reference.