mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

fix: apply multiple ext-lemmas in a row

Open gebner opened this issue 3 years ago • 1 comments
trafficstars

gebner avatar Aug 18 '22 18:08 gebner

nice!

dwrensha avatar Aug 18 '22 19:08 dwrensha

bors merge

gebner avatar Aug 19 '22 11:08 gebner

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Aug 19 '22 11:08 bors[bot]