mathlib
52843942 - Finish `card_le_card_of_linear_independent`

Commit

5 years ago

Finish `card_le_card_of_linear_independent`

References

finite_class_number

Author

Vierkantor

Vierkantor

Parents

Loading