mathlib3
refactor(linear_algebra/*): Rename `linear_equiv.range` to `linear_equiv.range_eq_top`
#18969
Open
Overview
Commits
1
Changes
View On GitHub

refactor(linear_algebra/*): Rename `linear_equiv.range` to `linear_equiv.range_eq_top` #18969

tb65536 wants to merge 1 commit into master from tb_rename
tb65536
tb65536 first pass
169df6de
tb65536 tb65536 added WIP
tb65536 tb65536 added awaiting-CI
github-actions github-actions added modifies-synchronized-file
tb65536 tb65536 changed the title refactor(linear_algebra/*): Rename `alg_equiv.range` to `alg_equiv.range_eq_top` refactor(linear_algebra/*): Rename `linear_equiv.range` to `linear_equiv.range_eq_top` 2 years ago
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
WIP awaiting-CI modifies-synchronized-file too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum