mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard
verified publisher icon leanprover-community

feat(ring_theory/derivation): Endomorphisms of the Kähler differential module

Open erdOne opened this issue 3 years ago • 1 comments

  • [x] depends on: #15855
  • [x] depends on: #15856
  • [ ] depends on: #16047

Open in Gitpod

erdOne avatar Aug 04 '22 05:08 erdOne

This PR/issue depends on:

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

mathlib-dependent-issues-bot avatar Aug 17 '22 17:08 mathlib-dependent-issues-bot

Can you please fix the conflict?

riccardobrasca avatar Oct 04 '22 08:10 riccardobrasca

Pull request successfully merged into master.

Build succeeded:

bors[bot] avatar Oct 06 '22 13:10 bors[bot]