@misc{indiciaeef13c04a2eb7,
  title = {Extensional concepts in intensional type theory, revisited},
  author = {Chris Kapulkin and Yufeng Li},
  year = {2025},
  url = {https://arxiv.org/abs/2310.05706},
  note = {Source identifier: 2310.05706}
}