Theorem Abelianization.lift_apply_of

Modification history

2025-07-23 20:45
Mathlib/GroupTheory/Abelianization/Defs.lean
chore: rename `lift.of` to `lift_apply_of` (#27398)
Added Abelianization.lift_apply_ofView on Github →