Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-30 04:33 9d63c388

View on Github →

feat(topology/continuous_function/algebra): add coe_fn_(linear_map|ring_hom|alg_hom) (#7720)

Estimated changes