Theorem SModEq.add

Modification history

2023-03-13 14:02
Mathlib/LinearAlgebra/SModEq.lean
feat: Port/LinearAlgebra.Smodeq (#2788) …
Added SModEq.addView on Github →