A short proof that \(\hat S^+_ A\) is finite if S is finite

From MaRDI portal
Publication:1112180