Def SemilinearEquivClass.semilinearEquiv

Modification history

2024-07-19 02:45
Mathlib/Algebra/Module/Equiv/Basic.lean
chore: split Algebra/Module/Equiv (#14466)
Modified SemilinearEquivClass.semilinearEquivView on Github →
2024-04-07 17:47
Mathlib/Algebra/Module/Equiv.lean
feat(Algebra/Module): Use coercion from SemilinearEquivClass to SemilinearEquiv (#11966)
Added SemilinearEquivClass.semilinearEquivView on Github →