Commit 2021-10-04 09:48 1faf964e

View on Github →

feat(ring_theory/algebraic_independent): Existence of transcendence bases and rings are algebraic over transcendence basis (#9377)

Estimated changes