Skip to content

Commit

Permalink
feat(ring_theory/algebraic_independent): algebraic independence (#9229)
Browse files Browse the repository at this point in the history 


Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>
  • Loading branch information
@ChrisHughes24
ChrisHughes24 and ChrisHughes24 committed Oct 2, 2021
1 parent 709b449 commit 9e54ad0
Showing 1 changed file with 434 additions and 0 deletions.

0 comments on commit 9e54ad0

Please sign in to comment.