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