aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/bullet.v
blob: 1099f3e197512a3e37111618acfd1b2f37055bf1 (plain)
1
2
3
4
5
Goal True /\ True.
split.
- exact I.
- exact I.
Qed.