Loading paper
A note on Boolean inverse monoids and ample groupoids | Tomesphere