feat(RingTheory): bialgebra homs R[G] → R[H] are in bijection with group homs G → H#41995
Open
YaelDillies wants to merge 1 commit into
Open
feat(RingTheory): bialgebra homs R[G] → R[H] are in bijection with group homs G → H#41995YaelDillies wants to merge 1 commit into
R[G] → R[H] are in bijection with group homs G → H#41995YaelDillies wants to merge 1 commit into
