@misc{indiciae041124c62832,
  title = {Coinductive well-foundedness},
  author = {Iosif Petrakis},
  year = {2025},
  url = {https://arxiv.org/abs/2506.16433},
  note = {Source identifier: 2506.16433}
}