mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

refactor: golf proof using lmarginal

Open fpvandoorn opened this issue 1 year ago • 1 comments

Co-authored-by: Heather Macbeth [email protected]

Open in Gitpod

fpvandoorn avatar Feb 22 '24 18:02 fpvandoorn

:v: fpvandoorn can now approve this pull request. To approve and merge a pull request, simply reply with bors r+. More detailed instructions are available here.

mathlib-bors[bot] avatar Mar 23 '24 20:03 mathlib-bors[bot]

bors merge

fpvandoorn avatar Apr 02 '24 15:04 fpvandoorn

Pull request successfully merged into master.

Build succeeded:

mathlib-bors[bot] avatar Apr 02 '24 16:04 mathlib-bors[bot]