mathlib3
feat(group_theory/group_action/subgroup): Conjugation action on subgroups of a group
#8592
Open
Open
feat(group_theory/group_action/subgroup): Conjugation action on subgroups of a group #8592
ChrisHughes24
wants to merge
19 commits into
master
from
conj_subgroup_action
feat(group_theory/group_action/subgroup): conjugation action on subgr…
bcd8d700
feat(group_theory/group_action/subgroup): conjugation action on subgr…
26c664f9
golf
3fdaaf81
ChrisHughes24
changed the title
remove unused argument
9e36b9ee
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
480b724f
jcommelin
commented
on 2021-08-12
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
9c6bcac0
eric-wieser
commented
on 2021-08-14
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
9d715032
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
3b949a4a
eric-wieser
commented
on 2021-09-16
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
32553ac8
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
ec304a2f
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
94aadb7f
Merge branch 'conj_subgroup_action' of https://github.com/leanprover-…
8f46a7f1
Merge remote-tracking branch 'origin/master' into conj_subgroup_action
3ac598b8
bump
0d27e4bf
use conj_act
b85881ba
eric-wieser
commented
on 2023-04-21
generalize normalizer_smul
93d90ba5
actually generalize
26c10743
fix lint
dca0b8b6
fix lint
608a4457
YaelDillies
commented
on 2023-08-31
Reviewers
Assignees
No one assigned
Labels
awaiting-review
t-algebra
modifies-synchronized-file
not-too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub