rw [unit_cubed]
a b c : ℤθ
elem : 6 = 3 + 3
⊢ ↑unit ^ 3 * ↑unit ^ 3 = { f := -1901, g := -4842, h := -336 }
a b c : ℤθ
elem : 6 = 3 + 3
⊢ { f := -23, g := -63, h := -15 } * { f := -23, g := -63, h := -15 } = { f := -1901, g := -4842, h := -336 }