chore(library/hott) adapted univalence axiom to suit notation in book and def in Coq.