@misc{indiciae92e91cbe5ee0,
  title = {Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings},
  author = {Thierry Coquand and Henri Lombardi},
  year = {2017},
  url = {https://arxiv.org/abs/1801.00097},
  note = {Source identifier: 1801.00097}
}