Mathlib Changelog
v4
Changelog
About
Github
Theorem
AdicCompletion.smul_mk
Modification history
2024-05-18 21:23
Mathlib/RingTheory/AdicCompletion/Algebra.lean
feat(RingTheory/AdicCompletion): add algebra instance (#12553) …
Added
AdicCompletion.smul_mk
View on Github →