This is just an alias for `admit`, but that's way less fun than just going `give_up` in a proof you're finding too difficult
the tactic is called `admit' because you're admitting that you don't know how to complete the proof
This is just an alias for `admit`, but that's way less fun than just going `give_up` in a proof you're finding too difficult
the tactic is called `admit' because you're admitting that you don't know how to complete the proof