First time here? Check out the FAQ!
answered 2022-03-26 00:21:58 +0100
It is indeed the case that my sagemath version is outdated