fix(hott/init/hedberg): remove unnecessary import
fix(hott/init/hedberg): remove unnecessary import