Theorem: three_is_three (Fpil/Chap10/Sec03.lean)

State before:
⊢ IsThree 3
Tactic:
constructor
State after:
no goals