Metamath Proof Explorer

Table of Contents - 5.7.15. Mapping words by a function

  1. wrdco
  2. lenco
  3. s1co
  4. revco
  5. ccatco
  6. cshco
  7. swrdco
  8. pfxco
  9. lswco
  10. repsco