Theorem: LoVe.Fraction.neg_num (LoVe/Lectures/LoVe14_RationalAndRealNumbers_Demo.lean)

State before:
a : Fraction
⊢ (-a).num = -a.num
Tactic:
rfl
State after:
no goals