@misc{indiciaeff4a9c9622bb,
  title = {Symmetric Monoidal Smash Products in Homotopy Type Theory},
  author = {Axel Ljungström},
  year = {2024},
  doi = {10.1017/s0960129524000318},
  url = {https://arxiv.org/abs/2402.03523},
  note = {Source identifier: 2402.03523}
}