Theorem ULift.smul_down

Modification history

2022-12-08 06:45
Mathlib/Algebra/Group/ULift.lean
feat: port algebra.group.ulift (#906) …
Added ULift.smul_downView on Github →