rcases): rsuffices(I) = suffices + obtain (+ resetI) (#15735)

Commit

3 years ago

feat(src/tactic/rcases): rsuffices(I) = suffices + obtain (+ resetI) (#15735) Co-authored-by: Eric Rodriguez <ericrboidi@gmail.com>

Author

ericrbg

Parents