Loading paper
Finite and semisimple Boolean inverse monoids | Tomesphere