The dimension of tensor products of AF-rings