Metamath Proof Explorer
Table of Contents - 16.3.3. Trails
- ctrls
- ctrlson
- df-trls
- df-trlson
- reltrls
- trlsfval
- istrl
- trliswlk
- trlf1
- trlreslem
- trlres
- upgrtrls
- upgristrl
- upgrf1istrl
- wksonproplem
- trlsonfval
- istrlson
- trlsonprop
- trlsonistrl
- trlsonwlkon
- trlontrl