Theorem subalgebra.finrank_bot
Modification history
2023-04-06 17:41
src/linear_algebra/finrank.lean
feat(linear_algebra/finrank): generalize finrank to ring in more places (#18716) …
Modified subalgebra.finrank_botView on Github →2022-11-19 17:26
src/linear_algebra/finrank.lean
feat(linear_algebra/finite_dimensional): generalize from field to division_ring and more (#17401) …
Modified subalgebra.finrank_botView on Github →