How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. - Klara Bernauer; Clemens Hofstadler; Georg Regensburger (CASC, 2023)