@misc{indiciae32f202f97d56,
  title = {The Fundamental Theorem of Asset Pricing, Formalized in Lean 4},
  author = {Raphael Coelho},
  year = {2026},
  url = {https://arxiv.org/abs/2606.28990},
  note = {Source identifier: 2606.28990}
}