adapted to work with old def of iso in UniMath