Theorem SModEq.sub

Modification history

2025-10-30 18:05

Mathlib/LinearAlgebra/SModEq.lean

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

Modified SModEq.sub View on Github →

2024-07-11 16:02

Mathlib/LinearAlgebra/SModEq.lean

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

Added SModEq.sub View on Github →