Theorem finite_dimensional.dim_eq_card_basis
Modification history
2021-09-07 16:31
src/linear_algebra/finite_dimensional.lean
feat(linear_algebra/finite_dimensional): generalisations to division_ring (#8822) …
Deleted finite_dimensional.dim_eq_card_basisView on Github →