Theorem SModEq.neg

Modification history

2025-12-18 10:09

Mathlib/LinearAlgebra/SModEq/Basic.lean

chore(LinearAlgebra): fix whitespace (#32952) …

Modified SModEq.neg View on Github →

2025-10-30 18:05

Mathlib/LinearAlgebra/SModEq.lean

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

Modified SModEq.neg View on Github →

2024-07-11 16:02

Mathlib/LinearAlgebra/SModEq.lean

chore(RingTheory/AdicCompletion): manual instances (#14534) …

Added SModEq.neg View on Github →