Loading paper
Garside monoids vs divisibility monoids | Tomesphere