apply Tensor.eq_of_fields_eq <;> trivial
τ : DimList
D : MLIRTy
t₁ t₂ : RankedTensor τ D
h_shape : t₁.toTensor.shape = t₂.toTensor.shape
h_data : t₁.toTensor.data = t₂.toTensor.data
⊢ t₁.toTensor = t₂.toTensor
no goals