Theorem Abelianization.lift_of_comp

Modification history

2025-07-23 15:29

Mathlib/GroupTheory/Abelianization.lean

chore(GroupTheory/FreeAbelianGroup): do not import cardinals (#27169) …

Modified Abelianization.lift_of_comp View on Github →

2024-05-21 01:54

Mathlib/GroupTheory/Abelianization.lean

chore(GroupTheory/Abelianization): simp normal form for map (#13054) …

Added Abelianization.lift_of_comp View on Github →