Programming Language Theory Flashcard
Is bullet point optional in subgoals in a destruct tactic? if yes, why would you use it?
Books
Deckgeneral
Question
Is bullet point optional in subgoals in a destruct tactic? if yes, why would you use it?
Answer