Metamath Proof Explorer

Table of Contents - 21.36.4.32. RP ADDTO: The reflexive and transitive properties of relations

1. undmrnresiss
2. reflexg
3. cnvssco
4. refimssco