Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.perm.subset_congr_right

Modification history

2023-01-14 17:40

src/data/list/perm.lean

chore(archive/100-theorems-list/30_ballot_problem): golf (#18126) …

Added list.perm.subset_congr_right View on Github →