Upon its dedication in August 1972, the DC Public Library’s new central branch—designed by famed modernist architect Ludwig Mies Van der Rohe—became one of the first public buildings in the country to be named in honor of the Reverend Dr. Martin…