Theorem: ClassicalPropositionalLogic.isTrue_top (GlimpseOfLean/Exercises/Topics/ClassicalPropositionalLogic.lean)

State before:
v : Variable → Prop
A B : Formula
⊢ IsTrue v ⊤
Tactic:
sorry
State after:
no goals