Androma

Morita Invariance of $K_1$ for Matrix Rings (Theorem # 8663)

Algebra

Discussion

Proof under construction

Proof under construction

A complete reviewed proof has not been accepted yet.

1 closed proof pull request records previous proof review.

Prerequisites (0/1 completed)