Theorem SModEq.mul

Modification history

2024-05-18 21:23
Mathlib/LinearAlgebra/SModEq.lean
feat(RingTheory/AdicCompletion): add algebra instance (#12553) …
Added SModEq.mulView on Github →