Theorem SModEq.comap

Modification history

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