New Reward Bounties (Quotient Group)
Group_quotient_Group : TMUr46xAZ376uB2xtmyAJuuGXT9oYz4Q5ZG
Group (quotient_Group Gs Ns).
canonmap_quotient_Group : TMLxNUh3AQYcQhGmW7VzU77wewxNJTxvrAh
Group_Hom Gs (quotient_Group Gs Ns) (fun a :e G => canonical_elt (normal_subgroup_equiv Gs Ns) a).
Complete thread:
- New Reward Bounties -
BlakeKeiller,
2021-02-07, 16:11
![[*]](themes/default/images/complete_thread.png "Open whole thread")
- New Reward Bounties (Dieudonne, Reals) - BlakeKeiller, 2021-02-07, 16:12
- New Reward Bounties (Quotient Group) - BlakeKeiller, 2021-02-07, 16:12