Closed strub closed 1 month ago
When a bound is given to elim*, do not try to destruct internal existentials.
Fix #565
When a bound is given to elim*, do not try to destruct internal existentials.