Skip to content

Revert irrefutable `with`s for inductive hypotheses.

6cf7716
Select commit
Loading
Failed to load commit list.
Merged

More list properties about catMaybes/mapMaybe #2389

Revert irrefutable `with`s for inductive hypotheses.
6cf7716
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs