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