5 lines
54 B
Text
5 lines
54 B
Text
|
whnf_tac.lean:9:2: proof state
|
||
|
|
a : Prop,
|
||
|
|
Ha : a
|
||
|
|
⊢ a
|