All Questions
Tagged with tactic list-manipulation
1
question
3
votes
2
answers
69
views
Creating a tactic for 'destructing' a list by last element?
Sometimes, I have a context in which I have some l : list X, and I want to prove the goal by proving that (1) If l = [], the ...