Commit 2024-05-21 01:54 b4108e07
View on Github →chore(GroupTheory/Abelianization): simp normal form for map (#13054)
If the definition of Abelianization.map appears, rewrite it as such.
chore(GroupTheory/Abelianization): simp normal form for map (#13054)
If the definition of Abelianization.map appears, rewrite it as such.