Theorem SModEq.bot

Modification history

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