TY  - RPRT
TI  - Towards constructivising the Freyd-Mitchell embedding theorem
AU  - Anna Giulia Montaruli
PY  - 2022
UR  - https://arxiv.org/abs/2203.12490
ID  - 2203.12490
ER  -