I own the Laowa (Venus Optics) 7.5mm f2.0. A little gem. And I mean little, literally.
Canon 10-18 is a very good lens, I use it with Metabones adapter. You can go even wider with a reducer. Has completely silent IS in the lens. My Olly 12-40 is a teeny but sharper in the very center, but 10mm looks very cool. If you don't have the adapter, it is not be worth buying both. Get something more expensive.
It looks like you're new here. If you want to get involved, click one of these buttons!