Theorem List.inter_cons

Modification history

2025-09-24 12:05
Mathlib/Data/List/Lattice.lean
feat: grind golf in Mathlib.Data.List (#29492) …
Added List.inter_consView on Github →