Theorem SModEq.mul

Modification history

2025-10-30 18:05

Mathlib/LinearAlgebra/SModEq.lean

chore: move SModEq to a new folder (#30990) …

Modified SModEq.mul View on Github →

2024-05-18 21:23

Mathlib/LinearAlgebra/SModEq.lean

feat(RingTheory/AdicCompletion): add algebra instance (#12553) …

Added SModEq.mul View on Github →