PR #796 refactor(localization): shorten proofs

refactor(localization): shorten proofs #796

robertylewis merged 6 commits into master from localization_refactor

feat(algebra/group): units.coe_map

0dca5766

refactor(localization): shorten proofs

1144179e

Merge remote-tracking branch 'comm/master' into HEAD

3507d37a

cipher1024 assigned

robertylewis 6 years ago

Merge remote-tracking branch 'comm/master' into localization_refactor

27c26c4c

swap order of equality in ring_equiv.symm_to_equiv

3c2f3de6

Merge branch 'master' into localization_refactor

78f0a485

robertylewis merged 7e779677 into master 6 years ago

ChrisHughes24 deleted the localization_refactor branch 6 years ago

Reviewers

No reviews

Assignees

robertylewis

Labels

None yet

Milestone

No milestone