basic): add center_of_comm_eq_top
#14960

Open

feat(group_theory/subgroup/basic): add center_of_comm_eq_top #14960

thefundamentaltheor3m wants to merge 4 commits into master from center_eq_top_of_comm

center_eq_top_of_comm

9c229ddf

add center_eq_top_of_comm

fb0bb795

add center_of_comm_eq_top

364f086e

thefundamentaltheor3m requested a review from

kbuzzard 3 years ago

kbuzzard approved these changes on 2022-06-26

kbuzzard added awaiting-review

kex-y commented on 2022-06-27

Update src/group_theory/subgroup/basic.lean

9c65e532

ocfnash removed awaiting-review

ocfnash added awaiting-author

kim-em added too-late

Reviewers

kbuzzard

kex-y

Assignees

No one assigned

Labels

awaiting-author too-late

Milestone

No milestone