mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(ring_theory/etale): Condition for a quotient of a formally smooth algebra to be formally smooth.

Open erdOne opened this issue 3 years ago • 0 comments

Open in Gitpod

erdOne avatar Aug 03 '22 17:08 erdOne