Aks lemma to show that A is less than 2 to the power of B (metamath#4140)

* Aks lemma to show that A is less than 2 to the power of B

* Move dfrp2 to main

* move down

* rewrap

* spacing

* Change date changes-txt

Author: metakunt

changes-set.txt

@@ -99,6 +99,7 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+19-Aug-24 dfrp2     [same]      moved from TA's mathbox to main set.mm
 19-Aug-24 rabeqcda  [same]	moved from SN's mathbox to main set.mm
 18-Aug-24 prdsco    [same]      revised - compatibility with new df-prds
 18-Aug-24 prdshom   [same]      revised - compatibility with new df-prds