Replace "rn" by "cdm" (2) (#4508)

* * Replace "rn" by "cdm" (2a)

See issue #4470:

Label changes:
* ~frnssb-> ~fcdmssb (used 2 times)
* ~fvmptelrn-> ~fvmptelcdm (used 50 times)

* Replace "rn" by "cdm" (2b)

See issue #4470:

Label changes ("rn" removed instead of replaced by "cdm"):
* ~frnsuppeq -> ~fsuppeq (used 6 times)
* ~frnsuppeqg -> ~fsuppeqg  (used once)
* ~ frnfsuppbi  -> ffsuppbi  (used once)

* Replace "rn" by "cdm" (2c)

See issue #4470:

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

* Replace "rn" by "cdm" (2d)

See issue #4470:

Label changes:
* ~fafvelrn  -> ~fafvelcdm (used once)
* ~fafv2elrn  -> ~fafv2elcdm (not used)
* ~frnvafv2v -> ~fcdmvafv2v (not used)

* Replace "rn" by "cdm" (2e)

See issue #4470:

Label changes:
* ~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

* Replace "rn" by "cdm" (2f)

See issue #4470:

Label changes:
* ~fovrn -> ~fovcdm (used 30 times)
* ~fovrnda -> ~fovcdmda (used 18 times)
* ~fovrnd -> ~fovcdmd (used 64 times)

* Rewrap

changes-set.txt

@@ -92,13 +92,27 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+28-Dec-24 fovrnd    fovcdmd
+28-Dec-24 fovrnda   fovcdmda
+28-Dec-24 fovrn     fovcdm
+28-Dec-24 foelrni   foelcdmi
+28-Dec-24 fornex    focdmex
+28-Dec-24 fafvelrn  fafvelcdm
+28-Dec-24 fafv2elrn fafv2elcdm
+28-Dec-24 frnvafv2v fcdmafv2v
+28-Dec-24 cncffvrn  cncfcdm
 26-Dec-24 syl5bb    bitrid      compare to bitri or bitrd
 23-Dec-24 sn-iotaex iotaex      moved from SN's mathbox to main set.mm
 23-Dec-24 sn-iotassuni iotassuni moved from SN's mathbox to main set.mm
 23-Dec-24 sn-iotaval iotaval    moved from SN's mathbox to main set.mm
 23-Dec-24 sn-iotanul iotanul2   moved from SN's mathbox to main set.mm
 23-Dec-24 sn-iotauni iotauni2   moved from SN's mathbox to main set.mm
 23-Dec-24 iotavallem iotaval2   moved from SN's mathbox to main set.mm
+22-Dec-24 frnsuppeq fsuppeq
+22-Dec-24 frnsuppeqg fsuppeqg
+22-Dec-24 frnfsuppbi ffsuppbi
+22-Dec-24 fvmptelrn fvmptelcdm 
+22-Dec-24 frnssb    fcdmssb
 19-Dec-24 3albii    [same]      moved from PM's mathbox to main set.mm
 19-Dec-24 ssrel3    [same]      moved from PM's mathbox to main set.mm
 17-Dec-24 ffvelrnd  ffvelcdmd