mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

chore: simplify proofs using new positivity extensions and tests

Open mcdoll opened this issue 1 year ago • 1 comments

  • [x] depends on: #10661
  • [ ] depends on: #10796

Open in Gitpod

mcdoll avatar Feb 22 '24 00:02 mcdoll