Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-08 14:49 5a5d2909

View on Github →

fix(data/fintype/basic): move card_subtype_mono into the fintype namespace (#15185)

Estimated changes