chore(library/hott) remove hott.axoims.ua from imports of funext_from_ua.lean