Theorem: ℤθ.my_natCast_zero (Mordell4/CubicRing.lean)

State before:
a b c : ℤθ
⊢ natCast 0 = zero
Tactic:
rfl
State after:
no goals