Add are_equiv to math.hh