ideal_quotient): add ideal.finrank_quotient_eq_sum (#19084)

Commit

2 years ago

feat(linear_algebra/free_module/ideal_quotient): add ideal.finrank_quotient_eq_sum (#19084) Co-authored-by: Junyan Xu <junyanxumath@gmail.com>

Author

Multramate

Parents