@misc{indiciae65a1e00f5171,
  title = {A combinatorial characterization of Kim's lemma for pairs of bi-invariant types},
  author = {James E. Hanson},
  year = {2025},
  url = {https://arxiv.org/abs/2507.21366},
  note = {Source identifier: 2507.21366}
}