@misc{indiciaeccc395cb4e1c,
  title = {Lebesgue integration on \$σ\$-locales: simple functions},
  author = {Raquel Bernardes},
  year = {2024},
  url = {https://arxiv.org/abs/2408.13911},
  note = {Source identifier: 2408.13911}
}