Metamath Proof Explorer

Table of Contents - 21.11.2. Clone theory

1. ccloneop
2. df-cloneop
3. cprj
4. df-prj
5. csuppos
6. df-suppos