Theorem ULift.pow_down

Modification history

2025-05-14 19:14
Mathlib/Algebra/Group/ULift.lean
feat(Tactic/ToAdditive): check that existing additive declaration matches up (#24401) …
Modified ULift.pow_downView on Github →
2022-12-08 06:45
Mathlib/Algebra/Group/ULift.lean
feat: port algebra.group.ulift (#906) …
Added ULift.pow_downView on Github →