Def Finset.pi.cons

Modification history

2023-03-01 18:09

Mathlib/Data/Finset/Pi.lean

chore: fix naming of `Finset.pi.cons` (#2553) …

Deleted Finset.pi.cons View on Github →

2023-01-16 17:38

Mathlib/Data/Finset/Pi.lean

feat: port Data.Finset.Pi (#1590)

Added Finset.pi.cons View on Github →