Def continuous_linear_equiv.arrow_congr_equiv

Modification history

2021-10-27 15:13

src/topology/algebra/module.lean

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

Added continuous_linear_equiv.arrow_congr_equiv View on Github →