chore(linear_algebra): rename type variables #1521
mergify
merged
18 commits into
master
from
lin_alg_rename
doc(linear_algebra/basis): add doc
72cd502f
doc(linear_algebra/basis): shorten docstrings
98339856
refactor(linear_algebra/basis): rename type vars
39c2c615
rwbarton
changed the title 
style(linear_algebra/basic): change variable names
2ef076a9
Merge branch 'master' into lin_alg_rename
5b698bdd
chore(linear_algebra/dimension): rename type variables
da6bf6fd
remove commented code
249fe360
style(linear_algebra/bilinear_form): change variable names
c65e5564
style(linear_algebra/direct_sum_module): change variable names
dcd05ec9
style(linear_algebra/matrix): change variable names
abaaa4ae
Rename variables in finsupp_vector_space.lean
9035530a
style(linear_algebra/sesquilinear_form): change variable names
4f53e9cd
style(linear_algebra/tensor_product): change variable names
72b1e53b
change kappas to bb k's
6803a810
sgouezel
commented
on 2019-10-08
style(linear_algebra/finsupp): change variable names
a2da7967
change universe levels
77285066
change bb k to K
7e342dc3
robertylewis
approved these changes
on 2019-10-10
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into lin_alg_rename
aedebbdd
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub