fix(library/hott) fix funext.lean to match equivalence notation