sign): Add `equiv.perm.move`, to move an item in a permutation
#4739

Open

feat(group_theory/perm/sign): Add `equiv.perm.move`, to move an item in a permutation #4739

eric-wieser wants to merge 3 commits into master from eric-wieser/perm-move

feat(data/(data|list)/basic): Add some trivial lemmas

cac45580

eric-wieser added blocked-by-other-PR

feat(group_theory/perm/sign): Add `equiv.perm.move`, to move an item …

1c13a10c

eric-wieser force pushed from c2e20f29 to 1c13a10c 5 years ago

eric-wieser commented on 2020-10-22

eric-wieser added WIP

github-actions added merge-conflict

bryangingechen removed blocked-by-other-PR

Merge branch 'master' into eric-wieser/perm-move

d0d1433a

github-actions removed merge-conflict

github-actions added merge-conflict

YaelDillies assigned

YaelDillies 4 years ago

YaelDillies unassigned

YaelDillies 3 years ago

kim-em added too-late

Reviewers

pechersky

Assignees

No one assigned

Labels

WIP merge-conflict too-late

Milestone

No milestone