Theorem Algebra.Presentation.ofBijectiveAlgebraMap_dimension

Modification history

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