Theorem Multiset.pi_cons_injective

Modification history

2023-05-22 03:13

Mathlib/Data/Multiset/Pi.lean

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

Deleted Multiset.pi_cons_injective View on Github →

2023-01-13 17:44

Mathlib/Data/Multiset/Pi.lean

feat: port Data.Multiset.Pi (#1551)

Added Multiset.pi_cons_injective View on Github →