Replace "rn" by "cdm" (2)

[avekens]

This is the final PR on issue #4470 for set.mm. I will align the labels for iset.mm in a separate PR.

Label changes 2a:

• ~frnssb-> ~fcdmssb (used 2 times)
• ~fvmptelrn-> ~fvmptelcdm (used 50 times)

Label changes 2b: ("rn" removed instead of replaced by "cdm"):

• ~frnsuppeq -> ~fsuppeq (used 6 times)
• ~frnsuppeqg -> ~fsuppeqg (used once)
• ~ frnfsuppbi -> ffsuppbi (used once)

Label changes 2c:

• ~cncffvrn -> ~cncfcdm (used 48 times): "rn" replaced by "cdm", "fv" removed (no function value involved)

Label changes 2d:

• ~fafvelrn -> ~fafvelcdm (used once)
• ~fafv2elrn -> ~fafv2elcdm (not used)
• ~frnvafv2v -> ~fcdmvafv2v (not used)

Label changes 2e:

• ~foelrni > ~foelcdmi (used 11 times)
• ~fornex -> ~focdmex (used 19 times): the former ~focdmex was removed, and replaced in the proof of ~hasheqf1oi by the new ~focdmex

Label changes 2f:

• ~fovrn -> ~fovcdm (used 30 times)
• ~fovrnda -> ~fovcdmda (used 18 times)
• ~fovrnd -> ~fovcdmd (used 64 times)

[jkingdon]

With respect to "the former ~focdmex was removed, and replaced in the proof of ~hasheqf1oi by the new ~focdmex", I'll note (for anyone who didn't go look) that these are the same (with the exception of the naming of one variable) and that the pull request retains the older Contributed line (as it should).

[jkingdon]

I will align the labels for iset.mm in a separate PR.

Thanks! Looking forward to it.