Theorem Algebra.PreSubmersivePresentation.ofBijectiveAlgebraMap_jacobian

Modification history

2024-09-17 21:38
Mathlib/RingTheory/Smooth/StandardSmooth.lean
feat(RingTheory/StandardSmooth): ring isomorphisms are standard smooth (#16869) …
Added Algebra.PreSubmersivePresentation.ofBijectiveAlgebraMap_jacobianView on Github →