module): add `continuous_linear_equiv.arrow_congr_equiv` (#9982)

Commit

4 years ago

chore(topology/algebra/module): add `continuous_linear_equiv.arrow_congr_equiv` (#9982)

Author

urkud

Parents