Upgraded my iPad Pro 10.5 to iPadOS 13.4 so I can see how well a mouse works. I paired an old Logitech travel mouse and it works fine. One difference is the scroll button works in the opposite direction and there doesn’t appear to be an option to change that. I can change the scroll speed. Having a mouse renews my interest with using an external keyboard of which I have two both needs charging. (Shows you how much I have used them.)