catsEqFromUnivEq

UnivEqCats