Mathlib Changelog
v4
Changelog
About
Github
Theorem
DividedPowers.isDPMorphism_iff
Modification history
2025-03-13 14:38
Mathlib/RingTheory/DividedPowers/DPMorphism.lean
feat(RingTheory/DividedPowers/DPMorphism): add divided power morphisms (#22318) …
Added
DividedPowers.isDPMorphism_iff
View on Github →