Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-05 22:33 c7593cc5

View on Github →

refactor(field_theory): move finite_card.lean into finite.lean (#2607)

Estimated changes

added theorem finite_field.card'
added theorem finite_field.card
deleted theorem finite_field.card'
deleted theorem finite_field.card