TY  - RPRT
TI  - Proper Ehresmann semigroups
AU  - Ganna Kudryavtseva
AU  - Valdis Laan
PY  - 2023
DO  - 10.1017/s0013091523000391
UR  - https://arxiv.org/abs/2203.07129
ID  - 2203.07129
ER  -