Metamath Proof Explorer

Table of Contents - 21.3.10.29. Scalar restriction operation

1. cresv
2. df-resv
3. reldmresv
4. resvval
5. resvid2
6. resvval2
7. resvsca
8. resvlem
9. resvbas
10. resvplusg
11. resvvsca
12. resvmulr
13. resv0g
14. resv1r
15. resvcmn