apply suggested golf - SemanticDiff

Commit

2 years ago

apply suggested golf

References

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

Author

eric-wieser

eric-wieser

Parents

Loading