revert a golf that no longer works - SemanticDiff

Commit

2 years ago

revert a golf that no longer works

References

#8559 - feat(analysis/complex/isometry): Homomorphism from Dihedral Group into Linear Isometries of C

Author

eric-wieser

eric-wieser

Parents

Loading