Theorem Module.equiv

Modification history

2024-03-24 09:17
Mathlib/LinearAlgebra/Dual.lean
style: remove redundant instance arguments (#11581) …
Modified Module.equivView on Github →
2023-08-18 14:52
Mathlib/LinearAlgebra/Dual.lean
feat(LinearAlgebra/Dual): `ULift M` is reflexive (#6661) …
Added Module.equivView on Github →