Metamath Proof Explorer


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

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