@misc{indiciae96f59adb8233,
  title = {Constructions cachées en algèbre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008)},
  author = {Thierry Coquand and Henri Lombardi},
  year = {2018},
  url = {https://arxiv.org/abs/1712.04728},
  note = {Source identifier: 1712.04728}
}