basic): generalize fintype instance for fintype.card_coe (#13055)

Commit

3 years ago

fix(data/fintype/basic): generalize fintype instance for fintype.card_coe (#13055)

Author

kmill

Parents