Is Michael Phelps in the hall of fame?

Michael Phelps is not in the Olympic hall of fame yet, i think it takes years to be entered because some people who were entered this year competed in the 1980s and 1990s