equicontinuity): a family of group homomorphisms is equicontinuous iff it is equicontinuous at `1` (#17128)

Commit

2 years ago

feat(topology/algebra/equicontinuity): a family of group homomorphisms is equicontinuous iff it is equicontinuous at `1` (#17128)

Author

ADedecker

Parents