McEliece's Theorem (Integer Functions)/Historical Note

Historical Note on McEliece's Theorem (Integer Functions)
reports in that this generalisation of Conditions for $\left\lfloor{\log_b x}\right\rfloor$ to equal $\left\lfloor{\log_b \left\lfloor{x}\right\rfloor}\right\rfloor$ was established by.

refers to it (in passing) as McEliece's Theorem.

Whiile this name for it is not backed up in the literature, it is convenient for, because of its unwieldy nature, to refer to it thus.