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

414owen wants to merge 1 commit into

leanprover:masterleanprover/fp-lean:masterfrom

414owen:os/stray-either414owen/fp-lean:os/stray-eitherCopy head branch name to clipboard