mathlib3
79eb5555 - replace surjectivity with right-inverse

Commit

3 years ago

replace surjectivity with right-inverse

References

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

Author

eric-wieser

eric-wieser

Parents

Loading