Theorem: Cpdt.Chapter3.Bool.toProp_false (Cpdt/Chapter3/ManualConstructors.lean)

State before:
⊢ toProp false = False
Tactic:
rfl
State after:
no goals