mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(analysis/inner_product_space/two_dim): volume/area form of negated orientation

Open hrmacbeth opened this issue 1 year ago • 1 comments

Open in Gitpod

  • [x] depends on: #16928

hrmacbeth avatar Oct 12 '22 19:10 hrmacbeth

This PR/issue depends on:

  • ~~leanprover-community/mathlib#16928~~ By Dependent Issues (🤖). Happy coding!

mathlib-dependent-issues-bot avatar Oct 13 '22 22:10 mathlib-dependent-issues-bot

maintainer merge

jsm28 avatar Oct 14 '22 19:10 jsm28

🚀 Pull request has been placed on the maintainer queue by jsm28.

github-actions[bot] avatar Oct 14 '22 19:10 github-actions[bot]

Thanks!

bors r+

kmill avatar Oct 14 '22 21:10 kmill

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Oct 15 '22 03:10 bors[bot]