Theorem ULift.smul_def

Modification history

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