TY - RPRT TI - Equational proofs of Jacobson's Theorem AU - Martin Brandenburg PY - 2023 UR - https://arxiv.org/abs/2310.05301 ID - 2310.05301 ER -