Skip to content

[Merged by Bors] - chore: add induction_eliminator and cases_eliminator for free objects #39646

[Merged by Bors] - chore: add induction_eliminator and cases_eliminator for free objects

[Merged by Bors] - chore: add induction_eliminator and cases_eliminator for free objects #39646

Annotations

1 error and 1 warning

The logs for this run have expired and are no longer available.