add `symm` - SemanticDiff

Commit

4 years ago

add `symm`

References

#9623 - feat(analysis/normed_space/conformal_linear_map, analysis/calculus/conformal/normed_space): prove the conformality of `symm` of conformal `linear_equiv` and `local_homeomorph`

Author

justadzr

justadzr

Parents

Loading