Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-03-07 13:47 e6afbf54

View on Github →

feat(data/finset): add Cartesian product over dependent functions

Estimated changes

added theorem finset.mem_pi
added def finset.pi