TY  - RPRT
TI  - Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
AU  - Thierry Coquand
AU  - Henri Lombardi
PY  - 2017
UR  - https://arxiv.org/abs/1801.00097
ID  - 1801.00097
ER  -