"theories/algebra/sts.v" did not exist on "98e519742bdea653d586a4b696aa0c26b2a6bc84"