A grand ceremony was held for the former leader in Beijing’s Great Hall of the People.