Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ulift.pow_down

Modification history

2022-07-18 22:20
src/algebra/group/ulift.lean
chore(algebra/group/ulift): add missing lemmas about pow, additivize (#15469) …
Added ulift.pow_downView on Github →