Theorem List.filter_subset_self

Modification history

2026-04-29 13:03
Mathlib/Data/List/Basic.lean
chore(*): triage adaptation notes (#38470) …
Added List.filter_subset_selfView on Github →