Def Finset.pi

Modification history

2023-03-19 17:35

Mathlib/Data/Finset/Pi.lean

chore: forward-port leanprover-community/mathlib#18429 (#2220) …

Modified Finset.pi View on Github →

2023-01-20 17:48

Mathlib/Data/Finset/Pi.lean

fix: make List.rec and Nat.rec computable (#1720) …

Added Finset.pi View on Github →