Commit 2026-09-15 14:49 27294380
View on Github →chore(Data/Finset/Card): tag card_pos with grind (#43839) This is a useful tag so grind can convert between cardinality and nonemptiness assumptions
chore(Data/Finset/Card): tag card_pos with grind (#43839) This is a useful tag so grind can convert between cardinality and nonemptiness assumptions