Def ULift.moduleEquiv

Modification history

2023-01-28 21:03
Mathlib/Algebra/Module/ULift.lean
feat: port Algebra.Module.ULift (#1880)
Added ULift.moduleEquivView on Github →