@misc{indiciae227ee48da8a1,
  title = {How to automatise proofs of operator statements: Moore-Penrose inverse -- a case study},
  author = {Klara Bernauer and Clemens Hofstadler and Georg Regensburger},
  year = {2023},
  url = {https://arxiv.org/abs/2305.09448},
  note = {Source identifier: 2305.09448}
}