Metamath Proof Explorer

Table of Contents - 16.2.3. Betweenness and Congruence

1. tgifscgr
2. tgcgrsub