3,175 followers Ryoma Sin'ya @sinya8282 Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups https://t.co/HyD5VrAl8F 10 Nov 2022 Reply Repost Favourite