Metamath Proof Explorer

Table of Contents - 16.3. Properties of geometries

1. Isomorphisms between geometries
   1. f1otrgds
   2. f1otrgitv
   3. f1otrg
   4. f1otrge