PR #8559: feat(analysis/complex/isometry): Homomorphism f...

Stream: triage

[Random Issue Bot]

Today I chose PR 8559 for discussion!

feat(analysis/complex/isometry): Homomorphism from Dihedral Group into Linear Isometries of C
Created by @None (@shadasali) on 2021-08-05
Labels: awaiting-author, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?