Skip to content

Remove stray 'either' with no else-clause#257

Open
414owen wants to merge 1 commit into
leanprover:masterfrom
414owen:os/stray-either
Open

Remove stray 'either' with no else-clause#257
414owen wants to merge 1 commit into
leanprover:masterfrom
414owen:os/stray-either

Remove stray 'either' with no else-clause

edc6553
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs