Skip to content

Commit

Permalink
Prove prop 6.13 [Folland] (#51)
Browse files Browse the repository at this point in the history 
Proved prop 6.13 [Folland], finite case and infinite case.

Also shortened some long lines.
  • Loading branch information
@KunhongDu
KunhongDu authored Aug 14, 2024
1 parent ec4a410 commit 8b60e48
Show file tree
Hide file tree
Showing 2 changed files with 349 additions and 96 deletions.
Loading

0 comments on commit 8b60e48

Please sign in to comment.