Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.pi.cons_injective

Modification history

2023-05-21 20:10
src/data/finset/pi.lean
chore(data/multiset/pi): correct names and reorder (#19050) …
Added finset.pi.cons_injectiveView on Github →