Refinement Monoids, Equidecomposability Types, and Boolean Inverse SemigroupsFriedrich WehrungÉpuisé4,3Prévenez-moi