Skip to content

Commit

Permalink
chore(data/mv_polynomial): Rename variables (#4208)
Browse files Browse the repository at this point in the history 
I renamed `α` to `R` throughout. I also changed the `\sigma` to `σ` in `basic.lean`, see leanprover-community/doc-gen#62
  • Loading branch information
@shingtaklam1324
shingtaklam1324 committed Sep 22, 2020
1 parent 516b0df commit f2458d6
Show file tree
Hide file tree
Showing 5 changed files with 311 additions and 310 deletions.

0 comments on commit f2458d6

Please sign in to comment.