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

feat(ring_theory/derivation): Construction of the module of Kähler differentials.

Open erdOne opened this issue 3 years ago • 0 comments

Open in Gitpod

erdOne avatar Aug 14 '22 01:08 erdOne