Theorem Finset.pi_cons_injective

Modification history

2023-05-22 03:13

Mathlib/Data/Finset/Pi.lean

chore: forward-port leanprover-community/mathlib#19050 (#4119)

Deleted Finset.pi_cons_injective View on Github →

2023-01-16 17:38

Mathlib/Data/Finset/Pi.lean

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

Added Finset.pi_cons_injective View on Github →