Theorem SModEq.nsmul

Modification history

2024-07-11 16:02
Mathlib/LinearAlgebra/SModEq.lean
chore(RingTheory/AdicCompletion): manual instances (#14534) …
Added SModEq.nsmulView on Github →