Theorem: top (LeanSAT/Upstream/ToMathlib.lean)

State before:
⊢ ⊤
Tactic:
trivial
State after:
no goals