Theorem Finset.filter_product_card

Modification history

2023-01-18 18:14

Mathlib/Data/Finset/Prod.lean

chore: revert Multiset and Finset API to use Prop instead of Bool (#1652)

Modified Finset.filter_product_card View on Github →

2023-01-16 18:31

Mathlib/Data/Finset/Prod.lean

feat: port Data.Finset.Prod (#1599)

Added Finset.filter_product_card View on Github →