@misc{indiciae234703d59f1e,
  title = {Definitional Inversion, Without Normalisation},
  author = {Mario Carneiro and Thierry Coquand and Adrien Frabetti Mathieu and Meven Lennon-Bertrand and Paul-André Melliès and Stephanie Weirich},
  year = {2026},
  url = {https://arxiv.org/abs/2607.13662},
  note = {Source identifier: 2607.13662}
}