@misc{indiciaecec46e07e005,
  title = {Formalized functional analysis with semilinear maps},
  author = {Frédéric Dupuis and Robert Y. Lewis and Heather Macbeth},
  year = {2022},
  url = {https://arxiv.org/abs/2202.05360},
  note = {Source identifier: 2202.05360}
}