mathlib
31a0258b - chore(data/fintype/card): DRY using `@... (multiplicative _)` (#3756)

Commit

5 years ago

chore(data/fintype/card): DRY using `@... (multiplicative _)` (#3756)

Author

urkud

urkud

Parents

Loading