Def SModEq

Modification history

2025-10-30 18:05

Mathlib/LinearAlgebra/SModEq.lean

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

Modified SModEq View on Github →

2023-03-13 14:02

Mathlib/LinearAlgebra/SModEq.lean

feat: Port/LinearAlgebra.Smodeq (#2788) …

Added SModEq View on Github →