mathlib
073a3e97 - fix(tactic/rcases): support `rcases x with y` renames (#15773)

Commit

3 years ago

fix(tactic/rcases): support `rcases x with y` renames (#15773) fixes #15741

Author

digama0

digama0

Parents

Loading