Theorem rank_quotient_add_rank_of_isDomain

Modification history

2024-01-08 18:09
Mathlib/LinearAlgebra/Dimension/Localization.lean
feat: Rank-nullity theorem for commutative domains (#9412)
Added rank_quotient_add_rank_of_isDomainView on Github →